@codacy/verity-cli 0.33.3-experimental.03bb89a → 0.33.3-experimental.38bbc15

package/bin/verity.js

@@ -22639,7 +22639,7 @@ function channelSilence(input) {
 // src/lib/cli-version.ts
 function cliVersion() {
   try {
-    return true ? "0.33.3-experimental.03bb89a" : "dev";
+    return true ? "0.33.3-experimental.38bbc15" : "dev";
   } catch {
     return "dev";
   }
@@ -27039,7 +27039,7 @@ var LUNA_SCHEMA = {
 var LUNA_INSTRUCTIONS = `You select SMALL pieces of code worth building a formal model of (a Lean 4 transition system with bounded exploration). The goal is to find bugs, not to model the codebase.
 For each file you are given its git-history signals and an excerpt. Score each 0-1 for "a model of one function here would likely expose a real bug": high for check-then-act guards, retries, caches, dedup keys, locks/leases, status transitions, money, concurrent writes; low for glue, rendering, configuration, or code whose correctness is obvious from reading.
 Name the single symbol (function) most worth modelling, and the applicable properties from the catalogue only. Reasons: at most 3, each a short concrete sentence about THIS code. Return every file you were given, exactly once.
-When a file lists \`changed\` lines, this is a review of a push: the excerpt is numbered and shows the code around the changes. The symbol you name MUST contain at least one changed line, and the score is about what the change touches \u2014 a file with risky code elsewhere whose changed function is glue, logging or rendering scores LOW. Score 0.7 or more only when the changed function itself has a shape a model can refute (a check then an act, a retry, a dedup, concurrent writes, a status transition, money moving).`;
+When a file lists \`changed\` lines, this is a review of a push: the excerpt is numbered around the changes (changed lines starred). Name the function that CONTAINS a changed line, and score THAT FUNCTION'S CURRENT CODE as a whole \u2014 how likely a model of it exposes a real bug \u2014 never the edit itself. A one-line change (a log line, a rename, a comment) to a function that checks then acts, retries, dedups, moves money, grants access or changes a status still scores high: the push touched risky code, and a latent bug in it is exactly what this is for. Score low only when the changed function is itself glue, wiring, command registration, rendering, configuration or plainly correct.`;
 var lunaRanker = {
   name: "luna",
   async rank(candidates2, ctx) {
@@ -29017,7 +29017,7 @@ async function mapPool(items, limit, fn) {
 
 // src/lib/prove/auto.ts
 var AUTO_MODELS_DIR = `${MODELS_DIR}/.auto`;
-var DEFAULT_MIN_SCORE = 0.7;
+var DEFAULT_MIN_SCORE = 0.8;
 var LARGE_PUSH_FILES = 25;
 var DAILY_MODEL_CAP = 5;
 var PUSH_COST_CAP_USD = 1;
@@ -32328,7 +32328,7 @@ function registerInitCommand(program2) {
         ...telemetryChoice ? { telemetry: telemetryChoice } : {},
         init: {
           completed_at: (/* @__PURE__ */ new Date()).toISOString(),
-          cli_version: true ? "0.33.3-experimental.03bb89a" : "dev"
+          cli_version: true ? "0.33.3-experimental.38bbc15" : "dev"
         }
       });
     } catch (err) {
@@ -33776,8 +33776,8 @@ function registerLeanCommand(program2) {
 }
 
 // src/cli.ts
-program.name("verity").description("CLI for Verity quality gate service").version("0.33.3-experimental.03bb89a").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.33.3-experimental.03bb89a");
+program.name("verity").description("CLI for Verity quality gate service").version("0.33.3-experimental.38bbc15").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.33.3-experimental.38bbc15");
   setUserNamedServiceUrl(program.opts().serviceUrl);
   try {
     await foldLegacyLocalCredential();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codacy/verity-cli",
-  "version": "0.33.3-experimental.03bb89a",
+  "version": "0.33.3-experimental.38bbc15",
   "description": "CLI for Verity quality gate service",
   "license": "SEE LICENSE IN LICENSE",
   "homepage": "https://verity.md",