@codacy/verity-cli 0.28.1-experimental.dfb3ce6 → 0.28.1-experimental.f9181dc

package/bin/verity.js

@@ -10389,7 +10389,6 @@ var MAX_DELTA_BYTES = 194560;
 var MAX_FILES = 20;
 var MAX_FILE_BYTES = 51200;
 var DEBOUNCE_SECONDS = 30;
-var MAX_ITERATIONS = 2;
 var MAX_SPEC_FILES = 10;
 var MAX_SPEC_FILE_BYTES = 10240;
 var MAX_TOTAL_SPEC_BYTES = 30720;
@@ -13591,6 +13590,70 @@ var import_node_fs10 = require("node:fs");
 var import_node_crypto5 = require("node:crypto");
 var import_node_path11 = require("node:path");
 
+// src/lib/skip-detection.ts
+function isBareAckPrompt(prompt) {
+  if (typeof prompt !== "string") return false;
+  const trimmed = prompt.trim();
+  if (trimmed.length === 0) return false;
+  if (trimmed.length > 20) return false;
+  const bareAckPattern = /^(\d{1,2}|y|n|yes|no|yep|nope|ok(ay)?|sure|skip|cancel|stop|done|noted|got\s+it|sounds\s+good|thanks|thank\s+you|thx)[.!?]*$/i;
+  return bareAckPattern.test(trimmed);
+}
+function isContinuationPrompt(prompt) {
+  if (typeof prompt !== "string") return false;
+  const trimmed = prompt.trim();
+  if (trimmed.length === 0) return false;
+  if (trimmed.length > 24) return false;
+  const continuation = /^(let['’]?s\s+(go|do\s+it|start|continue)|go|go\s+ahead|go\s+on|proceed|continue|carry\s+on|keep\s+going|do\s+it|make\s+it\s+so|next|start|begin|ship\s+it|yes\s+please|please\s+continue|perfect|great|nice|excellent|agreed)[.!]*$/i;
+  return continuation.test(trimmed) || isBareAckPrompt(trimmed);
+}
+function resolveGoalPrompt(prompts) {
+  if (prompts.length === 0) return null;
+  const latest = prompts[prompts.length - 1];
+  if (!isContinuationPrompt(latest.prompt)) return { entry: latest, turnsBack: 0 };
+  for (let i = prompts.length - 2; i >= 0; i--) {
+    if (!isContinuationPrompt(prompts[i].prompt)) {
+      return { entry: prompts[i], turnsBack: prompts.length - 1 - i };
+    }
+  }
+  return { entry: latest, turnsBack: 0 };
+}
+function isReflectionQuestion(response) {
+  if (!response || typeof response !== "string") return false;
+  const markers = [
+    /reflection\s+for\s+future\s+agents/i,
+    /what(?:'s|\s+is)\s+one\s+thing\s+you\s+learned/i,
+    /say\s+['"]?skip['"]?\s+to\s+skip/i,
+    /quick\s+reflection\s+question/i,
+    // Post-flip (VRT-21): the agent drafts the reflection itself and, when
+    // interactive, asks the user to confirm/correct before recording. That
+    // turn authors no code either, so it's still a reflection turn.
+    /reflection\s+draft/i,
+    /confirm,?\s+correct,?\s+or\s+add/i
+  ];
+  return markers.some((m) => m.test(response));
+}
+function isMetaTaskLabel(label2) {
+  if (label2 === null || label2 === void 0) return false;
+  if (typeof label2 !== "string") return false;
+  const trimmed = label2.trim();
+  if (trimmed.length === 0) return true;
+  const metaPatterns = [
+    /^verity\s+[\w-]+\s+response$/i,
+    // "Verity reflect response"
+    /^simple user response$/i,
+    /^verity\s+command$/i,
+    // "Verity command"
+    /^user\s+(question|reply|response|ack)$/i
+  ];
+  return metaPatterns.some((p) => p.test(trimmed));
+}
+function shouldSkipForBareAck(input) {
+  if (!isBareAckPrompt(input.prompt)) return false;
+  if (input.turnAuthoredCode) return false;
+  return input.canSeeTurnAuthorship;
+}
+
 // src/lib/dossier.ts
 var import_node_fs9 = require("node:fs");
 var import_node_crypto4 = require("node:crypto");
@@ -14333,6 +14396,10 @@ function projectMemory(state, opts) {
       ...active.delivered && { delivered: active.delivered }
     };
   }
+  if (opts.capture) {
+    const missed = Math.max(0, opts.capture.seen - opts.capture.captured);
+    p.capture = { seen: opts.capture.seen, captured: opts.capture.captured, missed };
+  }
   if (state.meta.last_adjudication) {
     const a = state.meta.last_adjudication;
     p.last_adjudication = { verdict: a.verdict, score: a.score, at: a.at };
@@ -14579,7 +14646,8 @@ function recall(d, input) {
     continuity,
     spoken: reanchored.spoken,
     refused: reanchored.dropped.length,
-    lastVerdictSeq
+    lastVerdictSeq,
+    ...input.capture && { capture: input.capture }
   });
   return {
     state: effective,
@@ -14690,7 +14758,19 @@ function sessionDossier(token, sessionId) {
   const d = openDossier(identity);
   return d ? { d, identity } : null;
 }
+function hasActiveGoal(d) {
+  try {
+    if (!(0, import_node_fs10.existsSync)(d.eventsPath)) return false;
+    return (0, import_node_fs10.readFileSync)(d.eventsPath, "utf8").includes('"k":"goal"');
+  } catch {
+    return false;
+  }
+}
 function recordGoal(d, prompt, source = "prompt") {
+  if (source === "prompt" && isContinuationPrompt(prompt) && hasActiveGoal(d)) {
+    appendEvent(d, { k: "goal_continue", text: prompt.slice(0, 64) });
+    return;
+  }
   const text = prompt.slice(0, MAX_GOAL_CHARS);
   appendEvent(d, {
     k: "goal",
@@ -14854,7 +14934,9 @@ function recallMemory(d, identity, opts) {
     const state = foldDossier(d);
     const watermark = state.meta.watermark?.sha ?? null;
     const watermarkPaths = (state.authored ?? []).map((a) => a.path);
+    const captureCmp = typeof opts.userMessagesSeen === "number" ? { seen: opts.userMessagesSeen, captured: state.meta.goal_chain } : void 0;
     const r = recall(d, {
+      ...captureCmp && { capture: captureCmp },
       identity,
       currentSessionKey: opts.currentSessionKey,
       branchNow: getCurrentBranch(),
@@ -15111,6 +15193,8 @@ function collectCodeDelta(files, opts) {
   let totalSize = 0;
   let truncationReason = null;
   const droppedPaths = [];
+  const excluded = [];
+  const exclude = (path, reason) => excluded.push({ path, reason, stage: "collectCodeDelta", kind: "capacity" });
   for (const filepath of sorted) {
     if (result.length >= maxFiles) {
       truncationReason ??= "max_files";
@@ -15118,14 +15202,21 @@ function collectCodeDelta(files, opts) {
       continue;
     }
     const resolved = resolveFile(filepath);
-    if (!resolved) continue;
+    if (!resolved) {
+      exclude(filepath, "path-not-resolvable");
+      continue;
+    }
     let size;
     try {
       size = (0, import_node_fs11.statSync)(resolved).size;
     } catch {
+      exclude(filepath, "not-stattable");
+      continue;
+    }
+    if (size > maxFileBytes) {
+      exclude(filepath, `over-file-size-limit-${maxFileBytes}b`);
       continue;
     }
-    if (size > maxFileBytes) continue;
     if (totalSize + size > maxTotalBytes) {
       truncationReason ??= "max_total_bytes";
       const idx = sorted.indexOf(filepath);
@@ -15136,6 +15227,7 @@ function collectCodeDelta(files, opts) {
     try {
       content = (0, import_node_fs11.readFileSync)(resolved, "utf-8");
     } catch {
+      exclude(filepath, "not-readable");
       continue;
     }
     totalSize += size;
@@ -15149,10 +15241,14 @@ function collectCodeDelta(files, opts) {
     (sum, f) => sum + f.content.split("\n").length,
     0
   );
+  for (const path of droppedPaths) {
+    exclude(path, truncationReason === "max_files" ? "max-files-cap" : "max-total-bytes-cap");
+  }
   return {
     files: result,
     total_lines: totalLines,
     total_files: result.length,
+    excluded,
     ...truncationReason && {
       truncated: {
         reason: truncationReason,
@@ -16322,40 +16418,40 @@ function narrowToRecent(files, sessionId) {
   });
   return recent.length > 0 ? recent : files;
 }
-function readIteration(currentCommit, _contentHash) {
-  if (!(0, import_node_fs15.existsSync)(ITERATION_FILE)) return 1;
+function readIterationState(currentCommit) {
+  if (!(0, import_node_fs15.existsSync)(ITERATION_FILE)) return { iteration: 1, fingerprint: null };
   try {
     const stored = (0, import_node_fs15.readFileSync)(ITERATION_FILE, "utf-8").trim();
     const parts = stored.split(":");
     const iter = parseInt(parts[0], 10);
     const storedCommit = parts[1] ?? "";
     const storedTimestamp = parseInt(parts[2] ?? "0", 10);
-    if (isNaN(iter)) return 1;
-    if (storedCommit !== currentCommit) return 1;
+    const fingerprint = parts.slice(3).join(":") || null;
+    if (isNaN(iter)) return { iteration: 1, fingerprint: null };
+    if (storedCommit !== currentCommit) return { iteration: 1, fingerprint: null };
     if (storedTimestamp > 0) {
       const elapsed = Math.floor(Date.now() / 1e3) - storedTimestamp;
-      if (elapsed > 600) return 1;
+      if (elapsed > 600) return { iteration: 1, fingerprint: null };
     }
-    return iter;
+    return { iteration: iter, fingerprint };
   } catch {
-    return 1;
+    return { iteration: 1, fingerprint: null };
   }
 }
-function checkMaxIterations(currentCommit, maxIterations = MAX_ITERATIONS, contentHash) {
-  const iteration = readIteration(currentCommit, contentHash);
-  if (iteration > maxIterations) {
-    writeIteration(1, currentCommit, contentHash);
-    return {
-      skip: `Max Verity iterations (${maxIterations}) reached \u2014 accepting to prevent infinite loop. Human review required before deploying.`,
-      iteration
-    };
-  }
-  return { skip: null, iteration };
+function findingsFingerprint(findings) {
+  const keys = findings.map((f) => `${String(f.pattern_id ?? "?")}|${String(f.file ?? "?")}`).filter((k) => k !== "?|?");
+  return [...new Set(keys)].sort().join(",");
+}
+function isSameProblem(previous, current) {
+  if (!previous || !current) return false;
+  const prev = new Set(previous.split(","));
+  return current.split(",").some((k) => prev.has(k));
 }
-function writeIteration(iteration, commit, _contentHash) {
+function writeIteration(iteration, commit, _contentHash, fingerprint) {
   (0, import_node_fs15.mkdirSync)(VERITY_DIR, { recursive: true });
   const ts = Math.floor(Date.now() / 1e3);
-  (0, import_node_fs15.writeFileSync)(ITERATION_FILE, `${iteration}:${commit}:${ts}`);
+  const fp = fingerprint ? `:${fingerprint}` : "";
+  (0, import_node_fs15.writeFileSync)(ITERATION_FILE, `${iteration}:${commit}:${ts}${fp}`);
 }
 
 // src/lib/static-analysis.ts
@@ -16604,7 +16700,7 @@ function resolveTaskContext(opts) {
 // src/lib/cli-version.ts
 function cliVersion() {
   try {
-    return true ? "0.28.1-experimental.dfb3ce6" : "dev";
+    return true ? "0.28.1-experimental.f9181dc" : "dev";
   } catch {
     return "dev";
   }
@@ -16830,6 +16926,15 @@ var KNOWN_RECORD_TYPES = /* @__PURE__ */ new Set([
 ]);
 var EDIT_TOOLS = /* @__PURE__ */ new Set(["Edit", "Write", "NotebookEdit", "MultiEdit"]);
 var DISPATCH_TOOLS = /* @__PURE__ */ new Set(["Task", "Workflow"]);
+function hasUserText(record) {
+  const message = record.message;
+  const content = message?.content ?? record.content;
+  if (typeof content === "string") return content.trim().length > 0;
+  if (!Array.isArray(content)) return false;
+  return content.some(
+    (b) => b?.type === "text" && typeof b.text === "string" && b.text.trim().length > 0
+  );
+}
 var COMMAND_CLASSES = [
   [/\b(npm|yarn|pnpm|bun)\s+(run\s+)?test\b|\bvitest\b|\bjest\b|\bpytest\b|\bgo test\b/, "test"],
   [/\b(npm|yarn|pnpm|bun)\s+(run\s+)?build\b|\btsc\b|\bwebpack\b|\bcargo build\b/, "build"],
@@ -16957,6 +17062,7 @@ function fold(transcriptPath, opts = {}) {
       malformed: 0,
       subagentFiles: 0,
       dispatched: 0,
+      userMessages: 0,
       subagentSkipped: 0,
       compactions: 0,
       complete: false
@@ -16983,6 +17089,7 @@ function fold(transcriptPath, opts = {}) {
       if (type === "system" && record.subtype === "compact_boundary") {
         result.coverage.compactions++;
       }
+      if (type === "user" && hasUserText(record)) result.coverage.userMessages++;
       collectFromRecord(record, owner, byPath, commandStats, pendingByToolUse, opts.repoRoot, result.coverage);
     }
   };
@@ -17138,6 +17245,86 @@ function checkConservation(changedFiles, result, repoRoot2) {
   };
 }
 
+// src/lib/verdict.ts
+function reconcileCoverage(changed, coverage) {
+  const changedSet = new Set(changed);
+  const reviewed = coverage.reviewed.filter((p) => changedSet.has(p));
+  const claimed = /* @__PURE__ */ new Set([...reviewed, ...coverage.notReviewed.map((n) => n.path)]);
+  const unaccounted = [...changedSet].filter((p) => !claimed.has(p)).sort();
+  const notReviewed = [
+    ...coverage.notReviewed.filter((n) => changedSet.has(n.path)),
+    ...unaccounted.map((path) => ({
+      path,
+      reason: "unaccounted",
+      // Named so the eventual bug report writes itself: some stage removed this
+      // path and did not say so.
+      stage: "unknown-stage",
+      // An undeclared drop is CAPACITY by default. A stage that cannot be
+      // bothered to say why it dropped a file does not get the benefit of the
+      // doubt — that default is what makes forgetting expensive.
+      kind: "capacity"
+    }))
+  ];
+  return {
+    coverage: { reviewed: [...new Set(reviewed)].sort(), notReviewed },
+    unaccounted,
+    balances: unaccounted.length === 0
+  };
+}
+function resolveVerdict(proposed, coverage) {
+  if (proposed === "FAIL") return "FAIL";
+  const blocking = coverage.notReviewed.filter((n) => (n.kind ?? "capacity") !== "policy");
+  if (blocking.length === 0) return proposed;
+  return "WARN";
+}
+function describeCoverage(coverage, maxPaths = 5) {
+  const relevant = coverage.notReviewed.filter((n) => (n.kind ?? "capacity") !== "policy");
+  if (relevant.length === 0) return null;
+  const byReason = /* @__PURE__ */ new Map();
+  for (const n of relevant) {
+    const key = `${n.reason}`;
+    const list = byReason.get(key) ?? [];
+    list.push(n.path);
+    byReason.set(key, list);
+  }
+  const lines = [];
+  for (const [reason, paths] of [...byReason.entries()].sort()) {
+    const shown = paths.slice(0, maxPaths).join(", ");
+    const more = paths.length > maxPaths ? ` (+${paths.length - maxPaths} more)` : "";
+    lines.push(`  ${paths.length} not reviewed \u2014 ${reason}: ${shown}${more}`);
+  }
+  return `NOT A CLEAN REVIEW. ${relevant.length} changed file(s) never reached the reviewer, so this verdict does not cover them:
+${lines.join("\n")}
+Treat those files as UNCHECKED, not as approved.`;
+}
+function openBlockingElsewhere(statements, reviewedNow, lineShaAt) {
+  const reviewed = new Set(reviewedNow);
+  const out = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const s of statements) {
+    if (s.outcome !== "open") continue;
+    if (s.register !== "BLOCK") continue;
+    if (s.carried) continue;
+    if (reviewed.has(s.file)) continue;
+    if (!s.line_sha) continue;
+    if (lineShaAt(s.file, s.line) !== s.line_sha) continue;
+    const key = `${s.file}::${s.pattern_id}`;
+    if (seen.has(key)) continue;
+    seen.add(key);
+    out.push({ file: s.file, line: s.line, pattern_id: s.pattern_id });
+  }
+  return out;
+}
+function describeOpenElsewhere(open) {
+  if (open.length === 0) return null;
+  const lines = open.slice(0, 5).map((o) => `  ${o.file}:${o.line} [${o.pattern_id}]`);
+  const more = open.length > 5 ? `
+  (+${open.length - 5} more)` : "";
+  return `STILL OPEN ELSEWHERE. ${open.length} blocking finding(s) Verity raised earlier are still present in files this run did not review:
+${lines.join("\n")}${more}
+This verdict covers the current change only. The tree is not clean.`;
+}
+
 // src/lib/channel.ts
 var MAX_AGENT_CONTEXT_CHARS = 1500;
 var MAX_AGENT_ITEMS = 5;
@@ -17225,6 +17412,39 @@ function channelSilence(input) {
   return null;
 }
 
+// src/lib/emit.ts
+var YELLOW2 = "\x1B[33m";
+var NC2 = "\x1B[0m";
+function emitVerdict(input) {
+  const exit = input.exit ?? ((code) => process.exit(code));
+  const { coverage, unaccounted } = reconcileCoverage(input.changed, input.coverage);
+  let verdict = resolveVerdict(input.proposed, coverage);
+  const openElsewhere = input.openElsewhere ?? [];
+  if (verdict === "PASS" && openElsewhere.length > 0) verdict = "WARN";
+  const note = [describeCoverage(coverage), describeOpenElsewhere(openElsewhere)].filter(Boolean).join("\n\n") || null;
+  if (unaccounted.length > 0) {
+    process.stderr.write(
+      `${YELLOW2}Verity: ${unaccounted.length} changed file(s) could not be attributed to any review stage \u2014 counted as unreviewed.${NC2}
+`
+    );
+  }
+  if (verdict === "FAIL") {
+    input.renderBlocking?.();
+    if (input.agentContext) {
+      process.stderr.write(`
+${input.agentContext}
+`);
+    }
+    if (note && !input.silenced) process.stderr.write(`
+${YELLOW2}${note}${NC2}
+`);
+    return exit(2);
+  }
+  const agentBlock = input.silenced ? null : [input.agentContext, note].filter(Boolean).join("\n\n") || null;
+  printJsonCompact(buildHookOutput(verdict, input.userSummary, agentBlock));
+  return exit(0);
+}
+
 // src/lib/cache-cleanup.ts
 var import_node_fs21 = require("node:fs");
 var import_node_path18 = require("node:path");
@@ -17404,46 +17624,6 @@ function shouldWarmRetryAnalyze(result) {
   return false;
 }
 
-// src/lib/skip-detection.ts
-function isBareAckPrompt(prompt) {
-  if (typeof prompt !== "string") return false;
-  const trimmed = prompt.trim();
-  if (trimmed.length === 0) return false;
-  if (trimmed.length > 20) return false;
-  const bareAckPattern = /^(\d{1,2}|y|n|yes|no|yep|nope|ok(ay)?|sure|skip|cancel|stop|done|noted|got\s+it|sounds\s+good|thanks|thank\s+you|thx)[.!?]*$/i;
-  return bareAckPattern.test(trimmed);
-}
-function isReflectionQuestion(response) {
-  if (!response || typeof response !== "string") return false;
-  const markers = [
-    /reflection\s+for\s+future\s+agents/i,
-    /what(?:'s|\s+is)\s+one\s+thing\s+you\s+learned/i,
-    /say\s+['"]?skip['"]?\s+to\s+skip/i,
-    /quick\s+reflection\s+question/i,
-    // Post-flip (VRT-21): the agent drafts the reflection itself and, when
-    // interactive, asks the user to confirm/correct before recording. That
-    // turn authors no code either, so it's still a reflection turn.
-    /reflection\s+draft/i,
-    /confirm,?\s+correct,?\s+or\s+add/i
-  ];
-  return markers.some((m) => m.test(response));
-}
-function isMetaTaskLabel(label2) {
-  if (label2 === null || label2 === void 0) return false;
-  if (typeof label2 !== "string") return false;
-  const trimmed = label2.trim();
-  if (trimmed.length === 0) return true;
-  const metaPatterns = [
-    /^verity\s+[\w-]+\s+response$/i,
-    // "Verity reflect response"
-    /^simple user response$/i,
-    /^verity\s+command$/i,
-    // "Verity command"
-    /^user\s+(question|reply|response|ack)$/i
-  ];
-  return metaPatterns.some((p) => p.test(trimmed));
-}
-
 // src/lib/transcript.ts
 var import_node_fs22 = require("node:fs");
 var MAX_READ_BYTES = 256 * 1024;
@@ -17607,6 +17787,13 @@ function buildSummary(lines) {
     files_read: capArray(filesRead, MAX_FILES_LIST),
     files_edited: capArray(filesEdited, MAX_FILES_LIST),
     files_created: capArray(filesCreated, MAX_CREATED_LIST),
+    // The complement of the two caps that affect SCOPE. `files_read` is excluded
+    // deliberately: reading a file is not authoring it, so a capped read list
+    // narrows nothing.
+    capped_out: [
+      ...cappedOut(filesEdited, MAX_FILES_LIST),
+      ...cappedOut(filesCreated, MAX_CREATED_LIST)
+    ],
     searches,
     commands,
     subagents,
@@ -17657,6 +17844,9 @@ function sanitizeCommand(rawCmd) {
 function capArray(set, max) {
   return Array.from(set).slice(0, max);
 }
+function cappedOut(set, max) {
+  return Array.from(set).slice(max);
+}
 
 // src/lib/run-mode.ts
 function parseAutonomousEnv(raw) {
@@ -18066,12 +18256,45 @@ function agentContextFor(response, intentRepeat = 0) {
   });
 }
 var beaconCtx = null;
-async function passAndExit(reason, skip) {
+async function passAndExit(reason, skip, kindOverride) {
   const sent = await sendSkipBeacon(beaconCtx, skip);
   logEvent("skip", { reason: skip, beacon: sent });
-  printJsonCompact({ gate_decision: "PASS", systemMessage: `Verity: ${reason}` });
+  const POLICY_SKIPS = /* @__PURE__ */ new Set([
+    "no-analyzable-files",
+    "verity-command",
+    "bare-acknowledgment",
+    "reflection-prompt",
+    "skip-mode",
+    "zero-increment",
+    "debounce",
+    "no-delta-since-last-review"
+  ]);
+  const skipKind = kindOverride ?? (POLICY_SKIPS.has(skip) ? "policy" : "capacity");
+  const changed = skipCoverageChanged;
+  const { coverage, unaccounted } = reconcileCoverage(changed, {
+    reviewed: [],
+    notReviewed: changed.map((path) => ({ path, reason: skip, stage: "pre-flight", kind: skipKind }))
+  });
+  const verdict = resolveVerdict("PASS", coverage);
+  const note = describeCoverage(coverage);
+  if (unaccounted.length > 0) {
+    logEvent("coverage_unaccounted", { where: "passAndExit", skip, count: unaccounted.length });
+  }
+  const AGENT_SILENT_SKIPS = /* @__PURE__ */ new Set([]);
+  const agentNote = AGENT_SILENT_SKIPS.has(skip) ? null : note;
+  printJsonCompact(
+    buildHookOutput(
+      verdict,
+      `Verity: ${reason}`,
+      // The agent's ONLY input is additionalContext. Sixteen of the nineteen
+      // terminating paths wrote `systemMessage` — the human's field — and told
+      // the agent nothing at all.
+      agentNote
+    )
+  );
   process.exit(0);
 }
+var skipCoverageChanged = [];
 var EMPTY_STATIC = {
   tool: "@codacy/analysis-cli",
   findings: [],
@@ -18086,7 +18309,7 @@ function runLocalStatic(analyzable, securityFiles, baseline, skipStatic) {
 }
 function localOnlyAndExit(staticResults) {
   printJsonCompact({
-    gate_decision: "PASS",
+    gate_decision: "WARN",
     systemMessage: "Verity: not authenticated \u2014 ran a local static-only check (no deep review, no upload). Run `verity init` to authenticate and enable the full quality gate.",
     unauthenticated: true,
     static_results: staticResults
@@ -18146,6 +18369,7 @@ async function runAnalyze(opts, globals) {
     });
   }
   const { files: allChanged, hasRecentCommitFiles } = getChangedFiles();
+  skipCoverageChanged = allChanged;
   const analyzable = filterAnalyzable(allChanged);
   const reviewable = filterReviewable(allChanged);
   const securityFiles = filterSecurity(allChanged);
@@ -18161,10 +18385,12 @@ async function runAnalyze(opts, globals) {
   if (/^\s*\/verity-/i.test(latestPrompt)) {
     await passAndExit("Verity command \u2014 skipping analysis", "verity-command");
   }
-  if (isBareAckPrompt(latestPrompt)) {
+  const agentAuthoredCodeThisTurn = !!(actionSummary && (actionSummary.files_edited.length > 0 || actionSummary.files_created.length > 0));
+  const turnAuthoredCode = agentAuthoredCodeThisTurn || !!baseline && allForReview.some((f) => changedSinceBaseline(f, baseline));
+  const canSeeTurnAuthorship = !!actionSummary || !!baseline;
+  if (shouldSkipForBareAck({ prompt: latestPrompt, turnAuthoredCode, canSeeTurnAuthorship })) {
     await passAndExit("Bare acknowledgment \u2014 skipping analysis", "bare-acknowledgment");
   }
-  const agentAuthoredCodeThisTurn = !!(actionSummary && (actionSummary.files_edited.length > 0 || actionSummary.files_created.length > 0));
   if (isReflectionQuestion(assistantResponse) && !agentAuthoredCodeThisTurn) {
     await passAndExit("Reflection-prompt turn \u2014 skipping analysis", "reflection-prompt");
   }
@@ -18221,7 +18447,8 @@ async function runAnalyze(opts, globals) {
   let codeDelta = {
     files: [],
     total_lines: 0,
-    total_files: 0
+    total_files: 0,
+    excluded: []
   };
   let snapshotResult = { has_snapshots: false, diffs: [] };
   let contentHash = null;
@@ -18286,7 +18513,11 @@ async function runAnalyze(opts, globals) {
           if (assistantResponse) {
             analysisMode = "plan";
           } else {
-            await passAndExit("No files within size limits to analyze", "size-limit");
+            await passAndExit(
+              "No files within size limits to analyze",
+              "size-limit",
+              codeDelta.excluded.length > 0 ? "capacity" : "policy"
+            );
           }
         }
       }
@@ -18299,19 +18530,13 @@ async function runAnalyze(opts, globals) {
         snapshotResult = generateSnapshotDiffs(codeDelta.files);
       }
       currentCommit = getCurrentCommit();
-      const maxIterations = parseInt(opts.maxIterations, 10);
-      const iterResult = checkMaxIterations(currentCommit, maxIterations, contentHash ?? void 0);
-      if (iterResult.skip) await passAndExit(iterResult.skip, "iteration-cap");
-      iteration = iterResult.iteration;
+      iteration = readIterationState(currentCommit).iteration;
     }
   }
   if (analysisMode === "plan") {
     recordAnalysisStart();
     currentCommit = getCurrentCommit();
-    const maxIterations = parseInt(opts.maxIterations, 10);
-    const iterResult = checkMaxIterations(currentCommit, maxIterations);
-    if (iterResult.skip) await passAndExit(iterResult.skip, "iteration-cap");
-    iteration = iterResult.iteration;
+    iteration = readIterationState(currentCommit).iteration;
   }
   const contextFiles = gatherContextFiles(contextFilePaths, codeDelta.files);
   for (const f of codeDelta.files) {
@@ -18460,7 +18685,10 @@ async function runAnalyze(opts, globals) {
       priorState.capabilities
     );
     memory = recallMemory(memorySession.d, memorySession.identity, {
-      currentSessionKey: memorySession.identity.sessionKey
+      currentSessionKey: memorySession.identity.sessionKey,
+      // The independent witness. Only meaningful when a transcript was folded —
+      // otherwise it stays undefined and capture coverage reads as UNKNOWN.
+      ...foldResult && { userMessagesSeen: foldResult.coverage.userMessages }
     });
     if (memory && !memory.provenanceHolds) {
       process.stderr.write("Verity: working-memory provenance check failed \u2014 recall suppressed.\n");
@@ -18599,7 +18827,20 @@ async function runAnalyze(opts, globals) {
     const intentContext = {};
     if (conversation && conversation.prompts.length > 0) {
       const latest = conversation.prompts[conversation.prompts.length - 1];
-      intentContext.user_prompt = latest.prompt;
+      const goalPrompt = resolveGoalPrompt(conversation.prompts) ?? { entry: latest, turnsBack: 0 };
+      intentContext.user_prompt = goalPrompt.entry.prompt;
+      if (isContinuationPrompt(intentContext.user_prompt)) {
+        const carried = memory?.projection.goal?.text;
+        if (carried && !isContinuationPrompt(carried)) {
+          intentContext.continuation_prompt = latest.prompt;
+          intentContext.user_prompt = carried;
+          logEvent("goal_from_dossier", { chars: carried.length });
+        }
+      }
+      if (goalPrompt.turnsBack > 0) {
+        intentContext.continuation_prompt = latest.prompt;
+        logEvent("goal_walked_back", { turns_back: goalPrompt.turnsBack });
+      }
       intentContext.session_id = latest.session_id || void 0;
       intentContext.prompt_captured_at = latest.captured_at || void 0;
       if (conversation.prompts.length > 1) {
@@ -18691,6 +18932,85 @@ async function runAnalyze(opts, globals) {
   const response = result.data;
   const decision = response.gate_decision ?? "(unrecognised)";
   const sentPaths = codeDelta.files.map((f) => f.path);
+  let openElsewhere = [];
+  if (memorySession) {
+    try {
+      const st = foldDossier(memorySession.d);
+      openElsewhere = openBlockingElsewhere(st.statements, sentPaths, (file, line) => {
+        try {
+          const src = (0, import_node_fs24.readFileSync)((0, import_node_path20.join)(repoRoot(), file), "utf8").split("\n");
+          const at = src[line - 1];
+          return at === void 0 ? null : lineSha(at);
+        } catch {
+          return null;
+        }
+      });
+    } catch {
+    }
+  }
+  const reviewCoverage = {
+    reviewed: sentPaths,
+    // Declared drops from the stages that DO report themselves today. The other
+    // stages surface via `unaccounted`, which is the tripwire, not the design.
+    notReviewed: [
+      // Every exit from the collection loop, each named. Six reasons where there
+      // used to be two recorded and four silent — the silent ones including the
+      // per-file size cap, which could drop a whole source file without leaving a
+      // trace anywhere in the payload or the run row.
+      ...codeDelta.excluded,
+      // The server-side 300-line middle-out truncation. It only bites on the
+      // full-file branch (a first analysis, before snapshots exist) because
+      // analyze normally sends diffs — but on that branch the reviewer sees the
+      // first and last 100 lines and nothing between, and until now said so to
+      // nobody. CAPACITY: a partial look is not a look.
+      ...(response.metadata?.truncated_files ?? []).map((path) => ({
+        path,
+        reason: "file-middle-truncated-300-lines",
+        stage: "prompt-builder",
+        kind: "capacity"
+      })),
+      // The 20-entry edit cap. CAPACITY, and the sharpest of the lot: it narrows
+      // what is REVIEWED, not merely what is summarised — a session editing 25
+      // files had five silently excluded from the reviewed set.
+      ...(actionSummary?.capped_out ?? []).map((path) => ({
+        path,
+        reason: "edit-list-cap-20",
+        stage: "extractActionSummary",
+        kind: "capacity"
+      })),
+      // ⚠ BASELINE SCOPING — the biggest source of false NOT A CLEAN REVIEW.
+      //
+      // The universe is `allChanged`, git's whole dirty tree. The reviewed set is
+      // scoped to what THIS SESSION authored (the VRT-26 contamination cure), so
+      // every pre-existing dirty file is in the universe, absent from `reviewed`,
+      // and — until now — declared by nobody. It fell through to `unaccounted`,
+      // became capacity, and produced "NOT A CLEAN REVIEW: admin.js" over a file
+      // that was never this session's to review.
+      //
+      // Measured 2026-08-04: three consecutive runs over an untouched tree gave
+      // three different answers — .claude/settings.json, then admin.js, then six
+      // files — because each run took a different path and each path had a
+      // different idea of the universe. POLICY: not this session's work is not a
+      // coverage gap, it is the cure working.
+      ...allChanged.filter((p) => !sentPaths.includes(p) && !codeDelta.excluded.some((e) => e.path === p)).filter((p) => analyzable.includes(p) || reviewable.includes(p) || securityFiles.includes(p)).map((path) => ({
+        path,
+        reason: "not-authored-this-session",
+        stage: "baseline-scoping",
+        kind: "policy"
+      })),
+      // The extension allowlist, and it is POLICY rather than capacity: a changed
+      // README was never going to be reviewed, and treating that as a coverage
+      // gap would downgrade nearly every PASS to WARN until WARN meant nothing.
+      // Recorded so the ledger balances and so "what did Verity ignore entirely"
+      // is answerable — but it never touches the verdict.
+      ...allChanged.filter((p) => !analyzable.includes(p) && !reviewable.includes(p) && !securityFiles.includes(p)).map((path) => ({
+        path,
+        reason: "not-a-reviewed-file-type",
+        stage: "extension-allowlist",
+        kind: "policy"
+      }))
+    ]
+  };
   const watermarkHash = sentPaths.length > 0 ? computeContentHash(sentPaths) : contentHash;
   const watermarkIsPartial = !!codeDelta.truncated;
   let silenced = null;
@@ -18843,9 +19163,41 @@ async function runAnalyze(opts, globals) {
     reverify_by: response.reverify_by
   });
   const grantNudge = grantWarning ? ` \u26A0\uFE0F ${grantWarning}` : "";
-  switch (decision) {
+  let capReleased = false;
+  let effectiveDecision = decision;
+  if (decision === "FAIL") {
+    const blocking = (response.findings ?? []).filter((f) => {
+      const sev = String(f.severity ?? "").toLowerCase();
+      return sev === "critical" || sev === "high";
+    });
+    const fingerprint = findingsFingerprint(blocking);
+    const prior = readIterationState(currentCommit);
+    const sameProblem = isSameProblem(prior.fingerprint, fingerprint);
+    const nextIteration = sameProblem ? prior.iteration + 1 : 1;
+    const maxIterations = parseInt(opts.maxIterations, 10);
+    writeIteration(nextIteration, currentCommit, contentHash ?? void 0, fingerprint);
+    iteration = nextIteration;
+    if (nextIteration > maxIterations) {
+      capReleased = true;
+      effectiveDecision = "WARN";
+      logEvent("iteration_cap_released", { iteration: nextIteration, fingerprint });
+    }
+  }
+  if (capReleased) {
+    const findings = response.findings ?? [];
+    const lines = findings.slice(0, 5).map((f) => `  [${String(f.severity ?? "?").toUpperCase()}] ${String(f.title ?? f.message ?? "")} (${String(f.file ?? "?")}:${String(f.line ?? "?")})`);
+    emitVerdict({
+      proposed: "WARN",
+      changed: skipCoverageChanged,
+      coverage: reviewCoverage,
+      userSummary: `Verity: WARN \u2014 self-healing limit (${opts.maxIterations}) reached on the same finding. NO LONGER BLOCKING, but ${findings.length} finding(s) remain OPEN and were NOT fixed. Human review required before deploying.
+${lines.join("\n")}`,
+      agentContext: null,
+      silenced: true
+    });
+  }
+  switch (effectiveDecision) {
     case "FAIL": {
-      writeIteration(iteration + 1, currentCommit, contentHash ?? void 0);
       const assessment = response.assessment;
       const narrative = assessment?.narrative ?? "";
       const findings = response.findings ?? [];
@@ -18922,7 +19274,19 @@ ${YELLOW}${loginNudge.trim()}${NC}
       if (grantNudge) process.stderr.write(`
 ${YELLOW}${grantNudge.trim()}${NC}
 `);
-      process.exit(2);
+      emitVerdict({
+        proposed: "FAIL",
+        changed: skipCoverageChanged,
+        coverage: reviewCoverage,
+        userSummary: "",
+        // Subject to the SAME cycle cut as PASS/WARN. Suppressing here is safe:
+        // the findings themselves are rendered above by the blocking renderer,
+        // so what the cut removes is the repeated commentary, never the defect.
+        agentContext: silenced ? null : agentContextFor(response, intentRepeatCount),
+        // The coverage note is silenced with it — half a channel is still a channel.
+        silenced: !!silenced,
+        openElsewhere
+      });
       break;
     }
     case "PASS": {
@@ -18934,10 +19298,16 @@ ${YELLOW}${grantNudge.trim()}${NC}
       if (viewUrl) userSummary += ` Report: ${viewUrl}`;
       if (autoSeedNotice) userSummary = `${autoSeedNotice} ${userSummary}`;
       userSummary += loginNudge + grantNudge;
-      printJsonCompact(
-        buildHookOutput("PASS", userSummary, silenced ? null : agentContextFor(response, intentRepeatCount))
-      );
-      process.exit(0);
+      emitVerdict({
+        proposed: "PASS",
+        changed: skipCoverageChanged,
+        coverage: reviewCoverage,
+        userSummary,
+        agentContext: silenced ? null : agentContextFor(response, intentRepeatCount),
+        // The coverage note is silenced with it — half a channel is still a channel.
+        silenced: !!silenced,
+        openElsewhere
+      });
       break;
     }
     case "WARN": {
@@ -18948,10 +19318,16 @@ ${YELLOW}${grantNudge.trim()}${NC}
       if (viewUrl) userSummary += ` Report: ${viewUrl}`;
       if (autoSeedNotice) userSummary = `${autoSeedNotice} ${userSummary}`;
       userSummary += loginNudge + grantNudge;
-      printJsonCompact(
-        buildHookOutput("WARN", userSummary, silenced ? null : agentContextFor(response, intentRepeatCount))
-      );
-      process.exit(0);
+      emitVerdict({
+        proposed: "WARN",
+        changed: skipCoverageChanged,
+        coverage: reviewCoverage,
+        userSummary,
+        agentContext: silenced ? null : agentContextFor(response, intentRepeatCount),
+        // The coverage note is silenced with it — half a channel is still a channel.
+        silenced: !!silenced,
+        openElsewhere
+      });
       break;
     }
     default: {
@@ -19064,8 +19440,8 @@ async function runReview(opts, globals) {
     for (const p of specPaths) {
       if (!(0, import_node_fs26.existsSync)(p)) continue;
       try {
-        const { readFileSync: readFileSync15 } = await import("node:fs");
-        const content = readFileSync15(p, "utf-8");
+        const { readFileSync: readFileSync16 } = await import("node:fs");
+        const content = readFileSync16(p, "utf-8");
         specs.push({ path: p, content: content.slice(0, 10240) });
       } catch {
       }
@@ -20751,7 +21127,7 @@ function registerTelemetryCommands(program2) {
 }
 
 // src/cli.ts
-program.name("verity").description("CLI for Verity quality gate service").version("0.28.1-experimental.dfb3ce6").option("--token <token>", "Override authentication token").option("--service-url <url>", "Override service URL").option("--verbose", "Log HTTP requests/responses to stderr").hook("preAction", async () => {
+program.name("verity").description("CLI for Verity quality gate service").version("0.28.1-experimental.f9181dc").option("--token <token>", "Override authentication token").option("--service-url <url>", "Override service URL").option("--verbose", "Log HTTP requests/responses to stderr").hook("preAction", async () => {
   try {
     await foldLegacyLocalCredential();
   } catch {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codacy/verity-cli",
-  "version": "0.28.1-experimental.dfb3ce6",
+  "version": "0.28.1-experimental.f9181dc",
   "description": "CLI for Verity quality gate service",
   "homepage": "https://verity.md",
   "bugs": {