@codacy/verity-cli 0.34.2 → 0.34.3

package/bin/verity.js

@@ -3919,8 +3919,8 @@ var require_Collection = __commonJS2({
         return this.items.every((node) => {
           if (!identity.isPair(node))
             return false;
-          const n = node.value;
-          return n == null || allowScalar && identity.isScalar(n) && n.value == null && !n.commentBefore && !n.comment && !n.tag;
+          const n2 = node.value;
+          return n2 == null || allowScalar && identity.isScalar(n2) && n2.value == null && !n2.commentBefore && !n2.comment && !n2.tag;
         });
       }
       /**
@@ -5360,18 +5360,18 @@ var require_stringifyNumber = __commonJS2({
       const num = typeof value === "number" ? value : Number(value);
       if (!isFinite(num))
         return isNaN(num) ? ".nan" : num < 0 ? "-.inf" : ".inf";
-      let n = Object.is(value, -0) ? "-0" : JSON.stringify(value);
-      if (!format && minFractionDigits && (!tag || tag === "tag:yaml.org,2002:float") && /^\d/.test(n)) {
-        let i2 = n.indexOf(".");
+      let n2 = Object.is(value, -0) ? "-0" : JSON.stringify(value);
+      if (!format && minFractionDigits && (!tag || tag === "tag:yaml.org,2002:float") && /^\d/.test(n2)) {
+        let i2 = n2.indexOf(".");
         if (i2 < 0) {
-          i2 = n.length;
-          n += ".";
+          i2 = n2.length;
+          n2 += ".";
         }
-        let d = minFractionDigits - (n.length - i2 - 1);
+        let d = minFractionDigits - (n2.length - i2 - 1);
         while (d-- > 0)
-          n += "0";
+          n2 += "0";
       }
-      return n;
+      return n2;
     }
     exports2.stringifyNumber = stringifyNumber;
   }
@@ -5615,9 +5615,9 @@ var require_binary = __commonJS2({
         type ?? (type = Scalar.Scalar.BLOCK_LITERAL);
         if (type !== Scalar.Scalar.QUOTE_DOUBLE) {
           const lineWidth = Math.max(ctx.options.lineWidth - ctx.indent.length, ctx.options.minContentWidth);
-          const n = Math.ceil(str3.length / lineWidth);
-          const lines = new Array(n);
-          for (let i2 = 0, o = 0; i2 < n; ++i2, o += lineWidth) {
+          const n2 = Math.ceil(str3.length / lineWidth);
+          const lines = new Array(n2);
+          for (let i2 = 0, o = 0; i2 < n2; ++i2, o += lineWidth) {
             lines[i2] = str3.substr(o, lineWidth);
           }
           str3 = lines.join(type === Scalar.Scalar.BLOCK_LITERAL ? "\n" : " ");
@@ -5889,11 +5889,11 @@ var require_int2 = __commonJS2({
             str3 = `0x${str3}`;
             break;
         }
-        const n2 = BigInt(str3);
-        return sign === "-" ? BigInt(-1) * n2 : n2;
+        const n3 = BigInt(str3);
+        return sign === "-" ? BigInt(-1) * n3 : n3;
       }
-      const n = parseInt(str3, radix);
-      return sign === "-" ? -1 * n : n;
+      const n2 = parseInt(str3, radix);
+      return sign === "-" ? -1 * n2 : n2;
     }
     function intStringify(node, radix, prefix) {
       const { value } = node;
@@ -6042,15 +6042,15 @@ var require_timestamp = __commonJS2({
     function parseSexagesimal(str3, asBigInt) {
       const sign = str3[0];
       const parts2 = sign === "-" || sign === "+" ? str3.substring(1) : str3;
-      const num = (n) => asBigInt ? BigInt(n) : Number(n);
+      const num = (n2) => asBigInt ? BigInt(n2) : Number(n2);
       const res = parts2.replace(/_/g, "").split(":").reduce((res2, p) => res2 * num(60) + num(p), num(0));
       return sign === "-" ? num(-1) * res : res;
     }
     function stringifySexagesimal(node) {
       let { value } = node;
-      let num = (n) => n;
+      let num = (n2) => n2;
       if (typeof value === "bigint")
-        num = (n) => BigInt(n);
+        num = (n2) => BigInt(n2);
       else if (isNaN(value) || !isFinite(value))
         return stringifyNumber.stringifyNumber(node);
       let sign = "";
@@ -6070,7 +6070,7 @@ var require_timestamp = __commonJS2({
           parts2.unshift(value);
         }
       }
-      return sign + parts2.map((n) => String(n).padStart(2, "0")).join(":").replace(/000000\d*$/, "");
+      return sign + parts2.map((n2) => String(n2).padStart(2, "0")).join(":").replace(/000000\d*$/, "");
     }
     var intTime = {
       identify: (value) => typeof value === "bigint" || Number.isInteger(value),
@@ -7541,9 +7541,9 @@ var require_resolve_block_scalar = __commonJS2({
         if (!chomp && (ch === "-" || ch === "+"))
           chomp = ch;
         else {
-          const n = Number(ch);
-          if (!indent && n)
-            indent = n;
+          const n2 = Number(ch);
+          if (!indent && n2)
+            indent = n2;
           else if (error === -1)
             error = offset + i2;
         }
@@ -8760,8 +8760,8 @@ var require_lexer = __commonJS2({
           return this.buffer[i2 + 1] === "\n";
         return false;
       }
-      charAt(n) {
-        return this.buffer[this.pos + n];
+      charAt(n2) {
+        return this.buffer[this.pos + n2];
       }
       continueScalar(offset) {
         let ch = this.buffer[offset];
@@ -8795,8 +8795,8 @@ var require_lexer = __commonJS2({
           end -= 1;
         return this.buffer.substring(this.pos, end);
       }
-      hasChars(n) {
-        return this.pos + n <= this.buffer.length;
+      hasChars(n2) {
+        return this.pos + n2 <= this.buffer.length;
       }
       setNext(state) {
         this.buffer = this.buffer.substring(this.pos);
@@ -8805,8 +8805,8 @@ var require_lexer = __commonJS2({
         this.next = state;
         return null;
       }
-      peek(n) {
-        return this.buffer.substr(this.pos, n);
+      peek(n2) {
+        return this.buffer.substr(this.pos, n2);
       }
       *parseNext(next) {
         switch (next) {
@@ -8855,8 +8855,8 @@ var require_lexer = __commonJS2({
             else
               break;
           }
-          const n = (yield* this.pushCount(dirEnd)) + (yield* this.pushSpaces(true));
-          yield* this.pushCount(line2.length - n);
+          const n2 = (yield* this.pushCount(dirEnd)) + (yield* this.pushSpaces(true));
+          yield* this.pushCount(line2.length - n2);
           this.pushNewline();
           return "stream";
         }
@@ -8894,9 +8894,9 @@ var require_lexer = __commonJS2({
         if (!ch1 && !this.atEnd)
           return this.setNext("block-start");
         if ((ch0 === "-" || ch0 === "?" || ch0 === ":") && isEmpty(ch1)) {
-          const n = (yield* this.pushCount(1)) + (yield* this.pushSpaces(true));
+          const n2 = (yield* this.pushCount(1)) + (yield* this.pushSpaces(true));
           this.indentNext = this.indentValue + 1;
-          this.indentValue += n;
+          this.indentValue += n2;
           return yield* this.parseBlockStart();
         }
         return "doc";
@@ -8906,10 +8906,10 @@ var require_lexer = __commonJS2({
         const line2 = this.getLine();
         if (line2 === null)
           return this.setNext("doc");
-        let n = yield* this.pushIndicators();
-        switch (line2[n]) {
+        let n2 = yield* this.pushIndicators();
+        switch (line2[n2]) {
           case "#":
-            yield* this.pushCount(line2.length - n);
+            yield* this.pushCount(line2.length - n2);
           // fallthrough
           case void 0:
             yield* this.pushNewline();
@@ -8932,9 +8932,9 @@ var require_lexer = __commonJS2({
             return yield* this.parseQuotedScalar();
           case "|":
           case ">":
-            n += yield* this.parseBlockScalarHeader();
-            n += yield* this.pushSpaces(true);
-            yield* this.pushCount(line2.length - n);
+            n2 += yield* this.parseBlockScalarHeader();
+            n2 += yield* this.pushSpaces(true);
+            yield* this.pushCount(line2.length - n2);
             yield* this.pushNewline();
             return yield* this.parseBlockScalar();
           default:
@@ -8965,18 +8965,18 @@ var require_lexer = __commonJS2({
             return yield* this.parseLineStart();
           }
         }
-        let n = 0;
-        while (line2[n] === ",") {
-          n += yield* this.pushCount(1);
-          n += yield* this.pushSpaces(true);
+        let n2 = 0;
+        while (line2[n2] === ",") {
+          n2 += yield* this.pushCount(1);
+          n2 += yield* this.pushSpaces(true);
           this.flowKey = false;
         }
-        n += yield* this.pushIndicators();
-        switch (line2[n]) {
+        n2 += yield* this.pushIndicators();
+        switch (line2[n2]) {
           case void 0:
             return "flow";
           case "#":
-            yield* this.pushCount(line2.length - n);
+            yield* this.pushCount(line2.length - n2);
             return "flow";
           case "{":
           case "[":
@@ -9020,10 +9020,10 @@ var require_lexer = __commonJS2({
             end = this.buffer.indexOf("'", end + 2);
         } else {
           while (end !== -1) {
-            let n = 0;
-            while (this.buffer[end - 1 - n] === "\\")
-              n += 1;
-            if (n % 2 === 0)
+            let n2 = 0;
+            while (this.buffer[end - 1 - n2] === "\\")
+              n2 += 1;
+            if (n2 % 2 === 0)
               break;
             end = this.buffer.indexOf('"', end + 1);
           }
@@ -9177,11 +9177,11 @@ var require_lexer = __commonJS2({
         yield* this.pushToIndex(end + 1, true);
         return inFlow ? "flow" : "doc";
       }
-      *pushCount(n) {
-        if (n > 0) {
-          yield this.buffer.substr(this.pos, n);
-          this.pos += n;
-          return n;
+      *pushCount(n2) {
+        if (n2 > 0) {
+          yield this.buffer.substr(this.pos, n2);
+          this.pos += n2;
+          return n2;
         }
         return 0;
       }
@@ -9255,12 +9255,12 @@ var require_lexer = __commonJS2({
         do {
           ch = this.buffer[++i2];
         } while (ch === " " || allowTabs && ch === "	");
-        const n = i2 - this.pos;
-        if (n > 0) {
-          yield this.buffer.substr(this.pos, n);
+        const n2 = i2 - this.pos;
+        if (n2 > 0) {
+          yield this.buffer.substr(this.pos, n2);
           this.pos = i2;
         }
-        return n;
+        return n2;
       }
       *pushUntil(test) {
         let i2 = this.pos;
@@ -9528,8 +9528,8 @@ var require_parser = __commonJS2({
         }
         yield* this.pop();
       }
-      peek(n) {
-        return this.stack[this.stack.length - n];
+      peek(n2) {
+        return this.stack[this.stack.length - n2];
       }
       *pop(error) {
         const token = error ?? this.stack.pop();
@@ -10895,8 +10895,8 @@ var require_web_tree_sitter2 = __commonJS2({
             }, "getMemory");
             var isInternalSym = /* @__PURE__ */ __name((symName) => ["__cpp_exception", "__c_longjmp", "__wasm_apply_data_relocs", "__dso_handle", "__tls_size", "__tls_align", "__set_stack_limits", "_emscripten_tls_init", "__wasm_init_tls", "__wasm_call_ctors", "__start_em_asm", "__stop_em_asm", "__start_em_js", "__stop_em_js"].includes(symName) || symName.startsWith("__em_js__"), "isInternalSym");
             var uleb128EncodeWithLen = /* @__PURE__ */ __name((arr) => {
-              const n = arr.length;
-              return [n % 128 | 128, n >> 7, ...arr];
+              const n2 = arr.length;
+              return [n2 % 128 | 128, n2 >> 7, ...arr];
             }, "uleb128EncodeWithLen");
             var wasmTypeCodes = {
               "i": 127,
@@ -13001,13 +13001,13 @@ var require_web_tree_sitter2 = __commonJS2({
             symbols.push(65535);
           }
         }
-        for (let i2 = 0, n = typesBySymbol.length; i2 < n; i2++) {
+        for (let i2 = 0, n2 = typesBySymbol.length; i2 < n2; i2++) {
           if (types.includes(typesBySymbol[i2])) {
             symbols.push(i2);
           }
         }
         const symbolsAddress = C._malloc(SIZE_OF_INT * symbols.length);
-        for (let i2 = 0, n = symbols.length; i2 < n; i2++) {
+        for (let i2 = 0, n2 = symbols.length; i2 < n2; i2++) {
           C.setValue(symbolsAddress + i2 * SIZE_OF_INT, symbols[i2], "i32");
         }
         marshalNode(this);
@@ -13196,7 +13196,7 @@ var require_web_tree_sitter2 = __commonJS2({
       }
     };
     function unmarshalCaptures(query, tree, address, patternIndex, result) {
-      for (let i2 = 0, n = result.length; i2 < n; i2++) {
+      for (let i2 = 0, n2 = result.length; i2 < n2; i2++) {
         const captureIndex = C.getValue(address, "i32");
         address += SIZE_OF_INT;
         const node = unmarshalNode(tree, address);
@@ -13335,13 +13335,13 @@ var require_web_tree_sitter2 = __commonJS2({
         assertInternal(internal);
         this[0] = address;
         this.types = new Array(C._ts_language_symbol_count(this[0]));
-        for (let i2 = 0, n = this.types.length; i2 < n; i2++) {
+        for (let i2 = 0, n2 = this.types.length; i2 < n2; i2++) {
           if (C._ts_language_symbol_type(this[0], i2) < 2) {
             this.types[i2] = C.UTF8ToString(C._ts_language_symbol_name(this[0], i2));
           }
         }
         this.fields = new Array(C._ts_language_field_count(this[0]) + 1);
-        for (let i2 = 0, n = this.fields.length; i2 < n; i2++) {
+        for (let i2 = 0, n2 = this.fields.length; i2 < n2; i2++) {
           const fieldName = C._ts_language_field_name_for_id(this[0], i2);
           if (fieldName !== 0) {
             this.fields[i2] = C.UTF8ToString(fieldName);
@@ -13844,8 +13844,8 @@ ${JSON.stringify(symbolNames, null, 2)}`);
       } else {
         const captureName = steps[1].name;
         const stringValue = steps[2].value;
-        const matches = /* @__PURE__ */ __name((n) => n.text === stringValue, "matches");
-        const doesNotMatch = /* @__PURE__ */ __name((n) => n.text !== stringValue, "doesNotMatch");
+        const matches = /* @__PURE__ */ __name((n2) => n2.text === stringValue, "matches");
+        const doesNotMatch = /* @__PURE__ */ __name((n2) => n2.text !== stringValue, "doesNotMatch");
         textPredicates[index].push((captures) => {
           const nodes = [];
           for (const c of captures) {
@@ -15210,8 +15210,8 @@ function commitsSincePaths(sha, paths) {
       encoding: "utf-8",
       stdio: ["pipe", "pipe", "pipe"]
     }).trim();
-    const n = Number.parseInt(out2, 10);
-    return Number.isFinite(n) ? n : null;
+    const n2 = Number.parseInt(out2, 10);
+    return Number.isFinite(n2) ? n2 : null;
   } catch {
     return null;
   }
@@ -15579,15 +15579,15 @@ function reverifyNudge(who) {
   }
   return null;
 }
-function isLegacyPerRepoCredential(auth2) {
-  return auth2.source === "local" || auth2.source === "global" && auth2.keyed === true;
+function isLegacyPerRepoCredential(auth3) {
+  return auth3.source === "local" || auth3.source === "global" && auth3.keyed === true;
 }
-async function shouldUpgradeOnLogin(auth2) {
-  if (!isLegacyPerRepoCredential(auth2)) return false;
-  if (auth2.userId == null) return true;
+async function shouldUpgradeOnLogin(auth3) {
+  if (!isLegacyPerRepoCredential(auth3)) return false;
+  if (auth3.userId == null) return true;
   const bare = await readGlobalCredential("");
   if (bare?.userId == null) return true;
-  return bare.userId === auth2.userId;
+  return bare.userId === auth3.userId;
 }
 function authDenialRemedy(error) {
   if (error.startsWith("STALE_VERIFICATION")) {
@@ -16073,8 +16073,8 @@ async function loginOnce(opts) {
 
 // src/commands/auth.ts
 function registerAuthCommands(program2) {
-  const auth2 = program2.command("auth").description("Manage project authentication");
-  auth2.command("register").description("Register a project with Verity").requiredOption("--project <name>", "Project name").option("--remote <url>", "Git remote URL (auto-detected if omitted)").action(async (opts) => {
+  const auth3 = program2.command("auth").description("Manage project authentication");
+  auth3.command("register").description("Register a project with Verity").requiredOption("--project <name>", "Project name").option("--remote <url>", "Git remote URL (auto-detected if omitted)").action(async (opts) => {
     const globals = program2.opts();
     const serviceUrl = globals.serviceUrl ?? DEFAULT_SERVICE_URL;
     let remote = opts.remote;
@@ -16101,7 +16101,7 @@ function registerAuthCommands(program2) {
     if (email) printInfo(`Authenticated as: ${email}`);
     printJson({ project_id: projectId, service_url: resolvedUrl });
   });
-  auth2.command("verify").description("Verify the current token is valid").action(async () => {
+  auth3.command("verify").description("Verify the current token is valid").action(async () => {
     const globals = program2.opts();
     const tokenResult = await resolveToken(globals.token);
     if (!tokenResult.ok) {
@@ -16127,7 +16127,7 @@ function registerAuthCommands(program2) {
     printInfo(`Token valid. Project: ${result.data.project_name}`);
     printJson(result.data);
   });
-  auth2.command("discover").description("Check if a project is registered").option("--remote <url>", "Git remote URL (auto-detected if omitted)").action(async (opts) => {
+  auth3.command("discover").description("Check if a project is registered").option("--remote <url>", "Git remote URL (auto-detected if omitted)").action(async (opts) => {
     const globals = program2.opts();
     let remote = opts.remote;
     if (!remote) {
@@ -16718,8 +16718,8 @@ function registerLogoutCommand(program2) {
         explain(result.error);
         process.exit(1);
       }
-      const n = result.data.revoked;
-      printInfo(`Revoked ${n} login${n === 1 ? "" : "s"}. \u2713`);
+      const n2 = result.data.revoked;
+      printInfo(`Revoked ${n2} login${n2 === 1 ? "" : "s"}. \u2713`);
       if (opts.others) {
         printInfo("  This machine is still signed in.");
         return;
@@ -18631,12 +18631,12 @@ function renderIndex(orgName, nodes) {
     ""
   ];
   const byKind = /* @__PURE__ */ new Map();
-  for (const n of nodes) byKind.set(n.kind, [...byKind.get(n.kind) ?? [], n]);
+  for (const n2 of nodes) byKind.set(n2.kind, [...byKind.get(n2.kind) ?? [], n2]);
   for (const kind2 of ORG_KINDS) {
     const list2 = byKind.get(kind2);
     if (!list2?.length) continue;
     lines.push(`## ${kind2}/ (${list2.length})`);
-    for (const n of list2) lines.push(`- [[${orgNodePath(n).split("/")[1].replace(/\.md$/, "")}]] \u2014 ${n.title} \xB7 ${n.origin}`);
+    for (const n2 of list2) lines.push(`- [[${orgNodePath(n2).split("/")[1].replace(/\.md$/, "")}]] \u2014 ${n2.title} \xB7 ${n2.origin}`);
     lines.push("");
   }
   if (nodes.length === 0) lines.push("No org knowledge yet.", "");
@@ -18661,26 +18661,26 @@ async function pullOrgKnowledge(opts) {
   const page = res.data;
   if (page.unchanged) return { ok: true, status: "unchanged", received: 0, dir };
   const org = page.organization;
-  const nodes = org ? (page.nodes ?? []).flatMap((n) => typeof n.tag_id === "string" && typeof n.title === "string" && typeof n.body === "string" ? [{
-    tag_id: n.tag_id,
-    node_id: typeof n.node_id === "string" ? n.node_id : "",
-    kind: typeof n.kind === "string" ? n.kind : "domain",
-    title: n.title,
-    body: n.body.slice(0, BODY_MAX),
-    origin: typeof n.origin === "string" ? n.origin : "",
-    signal: typeof n.signal === "string" ? n.signal : "",
-    tier: typeof n.tier === "number" ? n.tier : null,
-    applies_to: Array.isArray(n.applies_to) ? n.applies_to.filter((v) => typeof v === "string") : [],
-    source_repo_count: typeof n.source_repo_count === "number" ? n.source_repo_count : 1,
-    promoted_at: typeof n.promoted_at === "string" ? n.promoted_at : ""
+  const nodes = org ? (page.nodes ?? []).flatMap((n2) => typeof n2.tag_id === "string" && typeof n2.title === "string" && typeof n2.body === "string" ? [{
+    tag_id: n2.tag_id,
+    node_id: typeof n2.node_id === "string" ? n2.node_id : "",
+    kind: typeof n2.kind === "string" ? n2.kind : "domain",
+    title: n2.title,
+    body: n2.body.slice(0, BODY_MAX),
+    origin: typeof n2.origin === "string" ? n2.origin : "",
+    signal: typeof n2.signal === "string" ? n2.signal : "",
+    tier: typeof n2.tier === "number" ? n2.tier : null,
+    applies_to: Array.isArray(n2.applies_to) ? n2.applies_to.filter((v) => typeof v === "string") : [],
+    source_repo_count: typeof n2.source_repo_count === "number" ? n2.source_repo_count : 1,
+    promoted_at: typeof n2.promoted_at === "string" ? n2.promoted_at : ""
   }] : []) : [];
   const written = /* @__PURE__ */ new Set();
   await (0, import_promises7.mkdir)(dir, { recursive: true });
-  for (const n of nodes) {
-    const rel = orgNodePath(n);
+  for (const n2 of nodes) {
+    const rel = orgNodePath(n2);
     if (written.has(rel)) continue;
     await (0, import_promises7.mkdir)((0, import_node_path14.join)(dir, rel.split("/")[0]), { recursive: true });
-    await (0, import_promises7.writeFile)((0, import_node_path14.join)(dir, rel), renderOrgNode(n, org?.name ?? ""));
+    await (0, import_promises7.writeFile)((0, import_node_path14.join)(dir, rel), renderOrgNode(n2, org?.name ?? ""));
     written.add(rel);
   }
   for (const rel of state.files) {
@@ -18779,9 +18779,9 @@ function readOpened(fd, size) {
     const buffer = Buffer.alloc(size);
     let offset = 0;
     while (offset < size) {
-      const n = (0, import_node_fs15.readSync)(fd, buffer, offset, size - offset, offset);
-      if (n === 0) break;
-      offset += n;
+      const n2 = (0, import_node_fs15.readSync)(fd, buffer, offset, size - offset, offset);
+      if (n2 === 0) break;
+      offset += n2;
     }
     return buffer.subarray(0, offset);
   } finally {
@@ -18976,18 +18976,18 @@ function posteriorFor(kind2, own, pooled) {
   return { alpha: p.alpha + Math.max(0, own.alpha), beta: p.beta + Math.max(0, own.beta) };
 }
 function posteriorMean(p) {
-  const n = p.alpha + p.beta;
-  return n <= 0 ? DEFAULT_PRIOR_MEAN : p.alpha / n;
+  const n2 = p.alpha + p.beta;
+  return n2 <= 0 ? DEFAULT_PRIOR_MEAN : p.alpha / n2;
 }
 function scoreCandidates(nodes, ctx, opts = {}) {
   const floor = opts.relevanceFloor ?? RELEVANCE_FLOOR;
   const out2 = [];
-  for (const n of nodes) {
-    const rel = relevance(n, ctx);
+  for (const n2 of nodes) {
+    const rel = relevance(n2, ctx);
     if (rel.score < floor) continue;
-    const post = posteriorFor(n.kind, opts.posteriors?.get(n.id), opts.kindPosteriors?.get(n.kind));
+    const post = posteriorFor(n2.kind, opts.posteriors?.get(n2.id), opts.kindPosteriors?.get(n2.kind));
     const usefulness = posteriorMean(post);
-    out2.push({ id: n.id, score: rel.score * usefulness, relevance: rel.score, usefulness, via: rel.via });
+    out2.push({ id: n2.id, score: rel.score * usefulness, relevance: rel.score, usefulness, via: rel.via });
   }
   out2.sort((a, b) => b.score - a.score || (a.id < b.id ? -1 : a.id > b.id ? 1 : 0));
   return out2;
@@ -19007,23 +19007,23 @@ function orgTerms(text) {
   );
 }
 function sharedTerms(a, b) {
-  let n = 0;
-  for (const w of a) if (b.has(w)) n++;
-  return n;
+  let n2 = 0;
+  for (const w of a) if (b.has(w)) n2++;
+  return n2;
 }
-function orgNodeToLocal(n) {
+function orgNodeToLocal(n2) {
   return {
-    path: `org:${n.tag_id}`,
-    nodeId: n.tag_id,
-    kind: n.kind,
-    title: n.title,
-    body: n.body.slice(0, 2e3),
+    path: `org:${n2.tag_id}`,
+    nodeId: n2.tag_id,
+    kind: n2.kind,
+    title: n2.title,
+    body: n2.body.slice(0, 2e3),
     fileGlobs: [],
     confidence: 0.5,
     citedCount: 0,
-    tokenEstimate: Math.ceil((n.title.length + n.body.length) / 4) + 20,
+    tokenEstimate: Math.ceil((n2.title.length + n2.body.length) / 4) + 20,
     scope: "org",
-    origin: n.origin
+    origin: n2.origin
   };
 }
 function globMatch(glob, filePath) {
@@ -19136,11 +19136,11 @@ async function retrieveForInjection(promptText, taskFiles = [], budgetTokens = D
   } catch {
   }
   if (nodes.length === 0) return null;
-  const scored = nodes.map((n) => ({
-    ...n,
-    score: scoreNode(n, promptTokens, taskFiles)
+  const scored = nodes.map((n2) => ({
+    ...n2,
+    score: scoreNode(n2, promptTokens, taskFiles)
   }));
-  const filtered = scored.filter((n) => n.score >= MIN_SCORE);
+  const filtered = scored.filter((n2) => n2.score >= MIN_SCORE);
   filtered.sort((a, b) => b.score - a.score);
   const selected = [];
   let tokensUsed = 0;
@@ -19153,7 +19153,7 @@ async function retrieveForInjection(promptText, taskFiles = [], budgetTokens = D
   const lines = [
     "## Project Knowledge (auto-injected)",
     "",
-    `*${selected.length} node(s) relevant to your current task. See \`.verity/memory/index.md\` for the full knowledge base${selected.some((n) => n.scope === "org") ? ", and `~/.verity/orgs/` for what the organization's other repositories learned" : ""}.*`,
+    `*${selected.length} node(s) relevant to your current task. See \`.verity/memory/index.md\` for the full knowledge base${selected.some((n2) => n2.scope === "org") ? ", and `~/.verity/orgs/` for what the organization's other repositories learned" : ""}.*`,
     ""
   ];
   for (const node of selected) {
@@ -19317,9 +19317,9 @@ function parseInjectionEvent(raw) {
   if (!nonNegInt(o.eligible, 1e5) || !nonNegInt(o.tokens, 1e6)) return null;
   if (!Array.isArray(o.nodes) || o.nodes.length > MAX_NODES) return null;
   const nodes = [];
-  for (const n of o.nodes) {
-    if (!n || typeof n !== "object") return null;
-    const r = n;
+  for (const n2 of o.nodes) {
+    if (!n2 || typeof n2 !== "object") return null;
+    const r = n2;
     if (typeof r.id !== "string" || !SAFE_ID.test(r.id)) return null;
     if (typeof r.score !== "number" || !Number.isFinite(r.score) || r.score < 0 || r.score > 10) return null;
     if (typeof r.via !== "string" || !VIA.test(r.via)) return null;
@@ -19671,9 +19671,9 @@ function readFileInside(baseDir, candidate, maxBytes) {
 // src/lib/glob-match.ts
 function globToRegex(glob) {
   let out2 = "";
-  const n = glob.length;
+  const n2 = glob.length;
   let i2 = 0;
-  while (i2 < n) {
+  while (i2 < n2) {
     const c = glob[i2];
     if (c === "*" && glob[i2 + 1] === "*") {
       if (i2 > 0 && glob[i2 - 1] === "/" && glob[i2 + 2] === "/") {
@@ -19681,7 +19681,7 @@ function globToRegex(glob) {
         i2 += 3;
         continue;
       }
-      if (i2 > 0 && glob[i2 - 1] === "/" && i2 + 2 === n) {
+      if (i2 > 0 && glob[i2 - 1] === "/" && i2 + 2 === n2) {
         out2 = out2.slice(0, -1) + "(?:/.*)?";
         i2 += 2;
         continue;
@@ -19821,7 +19821,7 @@ async function readSyncBaseline() {
   try {
     const parsed = JSON.parse(await (0, import_promises9.readFile)(syncStateFile(), "utf-8"));
     if (Array.isArray(parsed?.nodes)) {
-      for (const n of parsed.nodes) if (n?.path) out2.set(n.path, n.hash ?? null);
+      for (const n2 of parsed.nodes) if (n2?.path) out2.set(n2.path, n2.hash ?? null);
     } else if (Array.isArray(parsed?.paths)) {
       for (const p of parsed.paths) out2.set(p, null);
     }
@@ -19901,7 +19901,7 @@ async function applyMemoryWrites(writes, opts = {}) {
     }
   }
   const logLines = [`- ${(/* @__PURE__ */ new Date()).toISOString().slice(0, 16)} \u2014 Applied ${count} write(s) from server`];
-  for (const n of notes) logLines.push(`  - ${n}`);
+  for (const n2 of notes) logLines.push(`  - ${n2}`);
   try {
     const existing = (0, import_node_fs21.existsSync)((0, import_node_path19.join)(memoryDir2(), "log.md")) ? await (0, import_promises9.readFile)((0, import_node_path19.join)(memoryDir2(), "log.md"), "utf-8") : "# Memory Log\n\n";
     await (0, import_promises9.writeFile)((0, import_node_path19.join)(memoryDir2(), "log.md"), existing + logLines.join("\n") + "\n");
@@ -21246,7 +21246,7 @@ function compactState(s) {
     // cached row.
     g: s.goal.map((g) => [g.seq, ms(g.at), g.hash, g.superseded_by, g.text ?? 0, g.text_len ?? 0, g.source ?? 0, g.status ?? 0, g.repeats ?? 0, g.truncated ? 1 : 0, g.collapsed ? 1 : 0, g.delivered ? ms(g.delivered.at) : 0, g.delivered?.seq ?? 0, g.delivered?.summary ?? 0]),
     a: s.authored?.map((a) => [a.path, a.origin, a.edits, a.hunks, a.adds, a.dels, a.hash_now, a.hash_at_last_verdict, a.first_seq, a.last_seq]) ?? null,
-    n: s.not_mine?.map((n) => [n.path, n.reason, ms(n.at), n.head_sha]) ?? null,
+    n: s.not_mine?.map((n2) => [n2.path, n2.reason, ms(n2.at), n2.head_sha]) ?? null,
     t: s.statements.map((x) => [x.anchor_key, x.file, x.line, x.pattern_id, x.title_hash, x.register, x.line_sha, x.said_at_seq, ms(x.said_at), x.outcome, x.outcome_at ? ms(x.outcome_at) : 0, x.repeats, x.carried ? 1 : 0]),
     c: s.commands.map((c) => [c.cls, c.cmd_hash, c.head, c.last_status, ms(c.last_at), c.last_seq, c.streak, c.edits_since, c.runs]),
     d: [s.divergence.events.map((e) => [e.kind, e.path, ms(e.at)]), s.divergence.counts, s.divergence.seen],
@@ -21257,10 +21257,10 @@ function compactState(s) {
 }
 function expandState(raw) {
   try {
-    const iso = (n2) => new Date(n2).toISOString();
+    const iso = (n3) => new Date(n3).toISOString();
     const g = raw.g;
     const a = raw.a;
-    const n = raw.n;
+    const n2 = raw.n;
     const t = raw.t;
     const c = raw.c;
     const dv = raw.d;
@@ -21306,7 +21306,7 @@ function expandState(raw) {
       // which always folds the live log. If the cache is ever put on that path,
       // the full list has to be encoded — see the note on `authored_all`.
       authored_all: decodedAuthored ?? [],
-      not_mine: n?.map((x) => ({
+      not_mine: n2?.map((x) => ({
         path: x[0],
         reason: x[1],
         at: iso(x[2]),
@@ -21553,7 +21553,7 @@ function projectMemory(state, opts) {
     }));
   }
   if (state.not_mine && state.not_mine.length > 0) {
-    p.not_mine = { n: state.not_mine.length, paths: state.not_mine.map((n) => n.path) };
+    p.not_mine = { n: state.not_mine.length, paths: state.not_mine.map((n2) => n2.path) };
   } else if (state.not_mine === null) {
     p.not_mine = { n: -1, paths: [] };
   }
@@ -21647,8 +21647,8 @@ function stateProvenance(state, opts = {}) {
   for (const c of state.commands) {
     items.push({ key: `command:${c.cls}:${c.cmd_hash}`, kind: "command", owner: "agent", age: age(c.last_seq, false) });
   }
-  for (const n of state.not_mine ?? []) {
-    items.push({ key: `not_mine:${n.path}`, kind: "not_mine", owner: "git", age: "this_session" });
+  for (const n2 of state.not_mine ?? []) {
+    items.push({ key: `not_mine:${n2.path}`, kind: "not_mine", owner: "git", age: "this_session" });
   }
   for (const m of state.marks) {
     items.push({ key: `mark:${m.kind}:${m.seq}`, kind: "mark", owner: "agent", age: age(m.seq, false) });
@@ -21979,9 +21979,9 @@ function normaliseClass(cls) {
   const known = ["test", "build", "lint", "typecheck", "git", "other"];
   return known.includes(cls) ? cls : "other";
 }
-function toStatus(n) {
-  if (n === 0) return "pass";
-  if (n === 1) return "fail";
+function toStatus(n2) {
+  if (n2 === 0) return "pass";
+  if (n2 === 1) return "fail";
   return "unknown";
 }
 function recordVerdict(d, v) {
@@ -22187,10 +22187,10 @@ function registerIntentCommands(program2) {
             arm: "injected",
             eligible: injection.eligible,
             tokens: injection.tokensUsed,
-            nodes: injection.nodes.map((n) => ({
-              id: n.nodeId,
-              score: Math.round(n.score * 1e3) / 1e3,
-              via: `${n.fileGlobs.length ? "g" : ""}${n.scope === "org" ? "o" : ""}x`
+            nodes: injection.nodes.map((n2) => ({
+              id: n2.nodeId,
+              score: Math.round(n2.score * 1e3) / 1e3,
+              via: `${n2.fileGlobs.length ? "g" : ""}${n2.scope === "org" ? "o" : ""}x`
             }))
           });
         }
@@ -24483,8 +24483,8 @@ function formatFindingsSummary(fc) {
   if (!fc) return "-";
   const parts2 = [];
   for (const [key, abbrev] of SEV_ABBREV) {
-    const n = fc[key] ?? 0;
-    if (n > 0) parts2.push(`${n} ${abbrev}`);
+    const n2 = fc[key] ?? 0;
+    if (n2 > 0) parts2.push(`${n2} ${abbrev}`);
   }
   return parts2.length > 0 ? parts2.join(", ") : "clean";
 }
@@ -24674,13 +24674,13 @@ function parseJsonState(raw) {
 }
 function parseLegacyState(raw) {
   const parts2 = raw.split(":");
-  const n = parseInt(parts2[0], 10);
-  if (isNaN(n)) return null;
+  const n2 = parseInt(parts2[0], 10);
+  if (isNaN(n2)) return null;
   return {
-    attempts: n,
+    attempts: n2,
     // The old file has no separate block count; the old counter is the closest
     // honest answer, and it errs toward releasing sooner rather than later.
-    blocks: n,
+    blocks: n2,
     fingerprint: parts2.slice(3).join(":") || null,
     commit: parts2[1] ?? "",
     ts: parseInt(parts2[2] ?? "0", 10)
@@ -24723,12 +24723,12 @@ function parseDuration(input) {
   if (!m) {
     return { ok: false, error: `Could not read "${input}" as a duration. Use 30m, 45s, or 1h.` };
   }
-  const n = parseInt(m[1], 10);
-  if (!Number.isFinite(n) || n <= 0) {
+  const n2 = parseInt(m[1], 10);
+  if (!Number.isFinite(n2) || n2 <= 0) {
     return { ok: false, error: `A duration must be a positive number of seconds, minutes or hours \u2014 got "${input}".` };
   }
   const unit = m[2] ?? "m";
-  const seconds = unit === "s" ? n : unit === "h" ? n * 3600 : n * 60;
+  const seconds = unit === "s" ? n2 : unit === "h" ? n2 * 3600 : n2 * 60;
   if (seconds > MAX_WINDOW_SECONDS) {
     return {
       ok: false,
@@ -25596,8 +25596,8 @@ function extractFileSymbols(path, content, signals) {
     add(declNameOn(deleted, rules));
   }
   for (const [start2, end] of signals.addedRanges) {
-    for (let n = start2; n <= Math.min(end, lines.length); n++) {
-      add(declNameOn(lines[n - 1] ?? "", rules));
+    for (let n2 = start2; n2 <= Math.min(end, lines.length); n2++) {
+      add(declNameOn(lines[n2 - 1] ?? "", rules));
     }
   }
   const scanStarts = [
@@ -25606,8 +25606,8 @@ function extractFileSymbols(path, content, signals) {
   ];
   for (const start2 of scanStarts) {
     const floor = Math.max(1, start2 - ENCLOSING_SCAN_LINES);
-    for (let n = Math.min(start2, lines.length); n >= floor; n--) {
-      const name2 = declNameOn(lines[n - 1] ?? "", rules);
+    for (let n2 = Math.min(start2, lines.length); n2 >= floor; n2--) {
+      const name2 = declNameOn(lines[n2 - 1] ?? "", rules);
       if (acceptable(name2)) {
         add(name2);
         break;
@@ -25681,9 +25681,9 @@ function parseRgLine(line2) {
   if (first <= 0) return null;
   const second = line2.indexOf(":", first + 1);
   if (second < 0) return null;
-  const n = parseInt(line2.slice(first + 1, second), 10);
-  if (!Number.isFinite(n) || n < 1) return null;
-  return { file: line2.slice(0, first), line: n, text: line2.slice(second + 1) };
+  const n2 = parseInt(line2.slice(first + 1, second), 10);
+  if (!Number.isFinite(n2) || n2 < 1) return null;
+  return { file: line2.slice(0, first), line: n2, text: line2.slice(second + 1) };
 }
 var isWordChar = (c) => c !== void 0 && /[A-Za-z0-9_]/.test(c);
 function wordHit(text, symbol) {
@@ -25743,8 +25743,8 @@ function partitionSites(rgLines, symbols, opts) {
     if (text.length === 0 || IMPORT_LINE.test(h.text)) continue;
     if (COMMENT_LINE.test(text)) continue;
     if (BARE_MEMBER_LINE.test(text) || GO_IMPORT_PATH_LINE.test(text)) continue;
-    const n = perFile.get(h.file) ?? 0;
-    if (n >= MAX_SITES_PER_FILE) continue;
+    const n2 = perFile.get(h.file) ?? 0;
+    if (n2 >= MAX_SITES_PER_FILE) continue;
     const site = {
       file: h.file,
       line: h.line,
@@ -25757,11 +25757,11 @@ function partitionSites(rgLines, symbols, opts) {
     if (isTestPath(h.file)) {
       if (tests.length < MAX_TEST_SLOTS) {
         tests.push(site);
-        perFile.set(h.file, n + 1);
+        perFile.set(h.file, n2 + 1);
       }
     } else if (callers.length + tests.length < MAX_SITES) {
       callers.push(site);
-      perFile.set(h.file, n + 1);
+      perFile.set(h.file, n2 + 1);
     }
   }
   while (callers.length + tests.length > MAX_SITES) callers.pop();
@@ -25809,9 +25809,9 @@ function partitionImporters(rgLines, changedPaths, opts) {
     if (!resolved) continue;
     const changed = changedByKey.get(resolved);
     if (!changed) continue;
-    const used = perFile.get(h.file) ?? 0;
-    if (used >= MAX_IMPORTERS_PER_FILE) continue;
-    perFile.set(h.file, used + 1);
+    const used2 = perFile.get(h.file) ?? 0;
+    if (used2 >= MAX_IMPORTERS_PER_FILE) continue;
+    perFile.set(h.file, used2 + 1);
     out2.push({ file: h.file, line: h.line, text: h.text.trim().slice(0, SITE_TEXT_MAX), symbol: changed });
   }
   return out2;
@@ -25909,9 +25909,9 @@ function revisionSearch(root, rev) {
       const line2 = prefix && raw.startsWith(prefix) ? raw.slice(prefix.length) : raw;
       const hit = parseRgLine(line2);
       if (!hit) continue;
-      const n = perFile.get(hit.file) ?? 0;
-      if (n >= HITS_PER_FILE) continue;
-      perFile.set(hit.file, n + 1);
+      const n2 = perFile.get(hit.file) ?? 0;
+      if (n2 >= HITS_PER_FILE) continue;
+      perFile.set(hit.file, n2 + 1);
       lines.push(`${hit.file}:${hit.line}:${hit.text.slice(0, HIT_TEXT_COLUMNS)}`);
     }
     return { ok: true, lines };
@@ -26030,9 +26030,9 @@ function extractEnclosingExcerpt(content, siteLine, path) {
   if (siteLine < 1 || siteLine > lines.length) return null;
   let declStart = null;
   const floor = Math.max(1, siteLine - EXCERPT_DECL_SCAN);
-  for (let n = siteLine; n >= floor; n--) {
-    if (declNameOn(lines[n - 1] ?? "", rules) !== null) {
-      declStart = n;
+  for (let n2 = siteLine; n2 >= floor; n2--) {
+    if (declNameOn(lines[n2 - 1] ?? "", rules) !== null) {
+      declStart = n2;
       break;
     }
   }
@@ -26059,8 +26059,8 @@ function upgradeToExcerpts(rc, opts) {
   let totalBytes = 0;
   for (const site of ranked) {
     if (excerpts.length >= MAX_EXCERPTS) break;
-    const used = perFile.get(site.file) ?? 0;
-    if (used >= MAX_EXCERPTS_PER_FILE) continue;
+    const used2 = perFile.get(site.file) ?? 0;
+    if (used2 >= MAX_EXCERPTS_PER_FILE) continue;
     if (!contentCache.has(site.file)) contentCache.set(site.file, opts.readFile(site.file));
     const content = contentCache.get(site.file);
     if (content === null || content === void 0) continue;
@@ -26076,7 +26076,7 @@ function upgradeToExcerpts(rc, opts) {
       text: ex.text
     });
     totalBytes += ex.text.length;
-    perFile.set(site.file, used + 1);
+    perFile.set(site.file, used2 + 1);
   }
   if (excerpts.length > 0) rc.excerpts = excerpts;
 }
@@ -27313,7 +27313,7 @@ function channelSilence(input) {
 // src/lib/cli-version.ts
 function cliVersion() {
   try {
-    return true ? "0.34.2" : "dev";
+    return true ? "0.34.3" : "dev";
   } catch {
     return "dev";
   }
@@ -27668,10 +27668,10 @@ function interpretAnalyzerRun(run4) {
 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 claimed = /* @__PURE__ */ new Set([...reviewed, ...coverage.notReviewed.map((n2) => n2.path)]);
   const unaccounted = [...changedSet].filter((p) => !claimed.has(p)).sort();
   const notReviewed = [
-    ...coverage.notReviewed.filter((n) => changedSet.has(n.path)),
+    ...coverage.notReviewed.filter((n2) => changedSet.has(n2.path)),
     ...unaccounted.map((path) => ({
       path,
       reason: "unaccounted",
@@ -27692,18 +27692,18 @@ function reconcileCoverage(changed, coverage) {
 }
 function resolveVerdict(proposed, coverage) {
   if (proposed === "FAIL") return "FAIL";
-  const blocking = coverage.notReviewed.filter((n) => (n.kind ?? "capacity") !== "policy");
+  const blocking = coverage.notReviewed.filter((n2) => (n2.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");
+  const relevant = coverage.notReviewed.filter((n2) => (n2.kind ?? "capacity") !== "policy");
   if (relevant.length === 0) return null;
   const byReason = /* @__PURE__ */ new Map();
-  for (const n of relevant) {
-    const key = `${n.reason}`;
+  for (const n2 of relevant) {
+    const key = `${n2.reason}`;
     const list2 = byReason.get(key) ?? [];
-    list2.push(n.path);
+    list2.push(n2.path);
     byReason.set(key, list2);
   }
   const lines = [];
@@ -29145,10 +29145,10 @@ var MAX_WITHIN = 6;
 var PLACEHOLDER = "${\u2026}";
 var MAX_PARAMS = 12;
 var PY_LOCK_ITEM = /(?:lock|Lock|mutex|Mutex|semaphore|Semaphore)\b/;
-var line = (n) => n.startPosition.row + 1;
-var cap = (s, n) => {
+var line = (n2) => n2.startPosition.row + 1;
+var cap = (s, n2) => {
   const flat = s.replace(/\s+/g, " ");
-  return flat.length > n ? `${flat.slice(0, n)}\u2026` : flat;
+  return flat.length > n2 ? `${flat.slice(0, n2)}\u2026` : flat;
 };
 function qualifierOf(node, spec) {
   if (spec.id === "go" && node.type === "method_declaration") {
@@ -29174,38 +29174,38 @@ function definitionsIn(root, spec) {
     const q = qualifierOf(owner, spec);
     out2.push({ name: name2, qualified: q ? `${q}.${name2}` : name2, kind: kind2, extent, last, fn });
   };
-  const visit = (n) => {
-    const kind2 = spec.definitions[n.type];
-    if (kind2 && n.childForFieldName("body")) {
-      const nameNode = n.childForFieldName("name");
+  const visit = (n2) => {
+    const kind2 = spec.definitions[n2.type];
+    if (kind2 && n2.childForFieldName("body")) {
+      const nameNode = n2.childForFieldName("name");
       if (nameNode && nameNode.type !== "computed_property_name") {
-        const inClass = qualifierOf(n, spec) !== null;
+        const inClass = qualifierOf(n2, spec) !== null;
         const k = spec.id === "python" ? inClass ? "method" : "function" : kind2;
-        add(nameNode.text, k, extentOf(n), n, n, n.parent?.type === "decorated_definition" ? n.parent : n);
+        add(nameNode.text, k, extentOf(n2), n2, n2, n2.parent?.type === "decorated_definition" ? n2.parent : n2);
       }
-    } else if (spec.functionValues.has(n.type) && n.parent) {
-      const p = n.parent;
-      const kind3 = n.type === "arrow_function" ? "arrow" : n.type === "lambda" || n.type === "lambda_expression" ? "lambda" : "function";
-      const bound = p.childForFieldName("value")?.id === n.id;
+    } else if (spec.functionValues.has(n2.type) && n2.parent) {
+      const p = n2.parent;
+      const kind3 = n2.type === "arrow_function" ? "arrow" : n2.type === "lambda" || n2.type === "lambda_expression" ? "lambda" : "function";
+      const bound = p.childForFieldName("value")?.id === n2.id;
       if (bound && p.type === "variable_declarator" && p.childForFieldName("name")?.type === "identifier") {
         const decl = p.parent && p.parent.namedChildren.filter((c) => c.type === "variable_declarator").length === 1 ? p.parent : p;
-        add(p.childForFieldName("name").text, kind3, decl, n, p);
+        add(p.childForFieldName("name").text, kind3, decl, n2, p);
       } else if (bound && (p.type === "public_field_definition" || p.type === "field_definition")) {
         const nameNode = p.childForFieldName("name") ?? p.childForFieldName("property");
-        if (nameNode && nameNode.type !== "computed_property_name") add(nameNode.text, kind3, extentOf(p), n, p, p);
+        if (nameNode && nameNode.type !== "computed_property_name") add(nameNode.text, kind3, extentOf(p), n2, p, p);
       } else if (bound && p.type === "pair") {
         const key = p.childForFieldName("key");
-        if (key && (key.type === "property_identifier" || key.type === "identifier")) add(key.text, kind3, p, n, p);
+        if (key && (key.type === "property_identifier" || key.type === "identifier")) add(key.text, kind3, p, n2, p);
       } else if (p.type === "arguments" && moduleCall(p.parent)) {
         const call = p.parent;
         const route = p.namedChildren[0];
-        const quoted = route && route.id !== n.id && route.type === "string" ? unquote2(route.text) : null;
+        const quoted = route && route.id !== n2.id && route.type === "string" ? unquote2(route.text) : null;
         const path = quoted && /^[\w/:.{}*-]{1,60}$/.test(quoted) ? quoted : null;
         const callee = call.childForFieldName("function").text;
-        add(path ? `${callee} ${path}` : callee, kind3, call.parent, n, call);
+        add(path ? `${callee} ${path}` : callee, kind3, call.parent, n2, call);
       }
     }
-    for (const c of n.namedChildren) visit(c);
+    for (const c of n2.namedChildren) visit(c);
   };
   visit(root);
   return out2;
@@ -29219,10 +29219,10 @@ function unquote2(s) {
   const q3 = body2.startsWith('"""') || body2.startsWith("'''");
   return q3 ? body2.slice(3, -3) : body2.slice(1, -1);
 }
-function callParts(n, spec) {
-  const args2 = n.childForFieldName("arguments");
-  if (spec.id === "java") return { receiver: n.childForFieldName("object"), name: n.childForFieldName("name")?.text ?? null, args: args2 };
-  let f = n.childForFieldName("function");
+function callParts(n2, spec) {
+  const args2 = n2.childForFieldName("arguments");
+  if (spec.id === "java") return { receiver: n2.childForFieldName("object"), name: n2.childForFieldName("name")?.text ?? null, args: args2 };
+  let f = n2.childForFieldName("function");
   if (f?.type === "await_expression") f = f.namedChildren[0] ?? null;
   if (!f) return { receiver: null, name: null, args: args2 };
   if (f.type === "identifier") return { receiver: null, name: f.text, args: args2 };
@@ -29252,14 +29252,14 @@ function withLabel(item) {
   if (value.type === "attribute") return value.childForFieldName("attribute")?.text ?? null;
   return value.text;
 }
-function isChained(n) {
-  const p = n.parent;
+function isChained(n2) {
+  const p = n2.parent;
   if (!p) return false;
   const object = p.childForFieldName("object") ?? p.childForFieldName("operand");
-  return object?.id === n.id && (p.type === "member_expression" || p.type === "attribute" || p.type === "selector_expression" || p.type === "method_invocation");
+  return object?.id === n2.id && (p.type === "member_expression" || p.type === "attribute" || p.type === "selector_expression" || p.type === "method_invocation");
 }
-function isAwaited(n) {
-  let p = n.parent;
+function isAwaited(n2) {
+  let p = n2.parent;
   while (p && p.type === "parenthesized_expression") p = p.parent;
   return !!p && (p.type === "await_expression" || p.type === "await");
 }
@@ -29283,17 +29283,17 @@ function factsOf(def, spec, defs, path) {
   const tries = [];
   const locks = [];
   const bindings = {};
-  const bind = (n) => {
+  const bind = (n2) => {
     let name2 = null;
     let value = null;
-    if (n.type === "variable_declarator") {
-      name2 = n.childForFieldName("name");
-      value = n.childForFieldName("value");
-    } else if (n.type === "assignment" && spec.id === "python") {
-      name2 = n.childForFieldName("left");
-      value = n.childForFieldName("right");
-    } else if (n.type === "short_var_declaration") {
-      const l = n.childForFieldName("left"), r = n.childForFieldName("right");
+    if (n2.type === "variable_declarator") {
+      name2 = n2.childForFieldName("name");
+      value = n2.childForFieldName("value");
+    } else if (n2.type === "assignment" && spec.id === "python") {
+      name2 = n2.childForFieldName("left");
+      value = n2.childForFieldName("right");
+    } else if (n2.type === "short_var_declaration") {
+      const l = n2.childForFieldName("left"), r = n2.childForFieldName("right");
       if (l?.namedChildren.length === 1 && r?.namedChildren.length === 1) {
         name2 = l.namedChildren[0];
         value = r.namedChildren[0];
@@ -29301,68 +29301,68 @@ function factsOf(def, spec, defs, path) {
     }
     if (name2?.type === "identifier" && value && Object.keys(bindings).length < 40 && !(name2.text in bindings)) bindings[name2.text] = cap(value.text, TEXT_CAP);
   };
-  const throwsIn = (n) => {
-    if (spec.throws.has(n.type)) return true;
-    if (defs.has(n.id) || spec.functionValues.has(n.type)) return false;
-    return n.namedChildren.some(throwsIn);
+  const throwsIn = (n2) => {
+    if (spec.throws.has(n2.type)) return true;
+    if (defs.has(n2.id) || spec.functionValues.has(n2.type)) return false;
+    return n2.namedChildren.some(throwsIn);
   };
-  const walk2 = (n, ctx) => {
-    const anonymousMember = n.parent?.type === "class_body" && n.parent.parent?.type === "object_creation_expression";
-    if (n.id !== def.fn.id && !anonymousMember && (defs.has(n.id) || spec.classes.has(n.type) || spec.definitions[n.type])) return;
-    const t = n.type;
-    bind(n);
+  const walk2 = (n2, ctx) => {
+    const anonymousMember = n2.parent?.type === "class_body" && n2.parent.parent?.type === "object_creation_expression";
+    if (n2.id !== def.fn.id && !anonymousMember && (defs.has(n2.id) || spec.classes.has(n2.type) || spec.definitions[n2.type])) return;
+    const t = n2.type;
+    bind(n2);
     const down = (c, next = ctx) => walk2(c, next);
     if (spec.calls.has(t)) {
-      const { receiver, name: name2, args: args2 } = callParts(n, spec);
+      const { receiver, name: name2, args: args2 } = callParts(n2, spec);
       if (name2) {
         calls.push({
-          line: line(n),
-          col: n.startPosition.column,
+          line: line(n2),
+          col: n2.startPosition.column,
           receiver: receiver ? cap(receiver.text, TEXT_CAP) : null,
           name: name2,
           args: argsOf(args2, spec),
-          awaited: isAwaited(n) || n.childForFieldName("function")?.type === "await_expression",
-          chained: isChained(n),
+          awaited: isAwaited(n2) || n2.childForFieldName("function")?.type === "await_expression",
+          chained: isChained(n2),
           inLoop: ctx.inLoop,
           inTry: ctx.tryAt !== null,
           tryAt: ctx.tryAt,
           within: ctx.within.slice(-MAX_WITHIN)
         });
-        if (spec.lockCalls.has(name2)) locks.push(line(n));
-        for (const c of n.namedChildren) down(c, c.id === args2?.id ? { ...ctx, within: [...ctx.within, name2] } : ctx);
+        if (spec.lockCalls.has(name2)) locks.push(line(n2));
+        for (const c of n2.namedChildren) down(c, c.id === args2?.id ? { ...ctx, within: [...ctx.within, name2] } : ctx);
         return;
       }
     }
-    if (spec.awaits.has(t)) awaits.push(line(n));
+    if (spec.awaits.has(t)) awaits.push(line(n2));
     if (t === "defer_statement") {
-      for (const c of n.namedChildren) down(c, { ...ctx, within: [...ctx.within, "defer"] });
+      for (const c of n2.namedChildren) down(c, { ...ctx, within: [...ctx.within, "defer"] });
       return;
     }
     if (spec.lockNodes.has(t)) {
-      locks.push(line(n));
-      for (const c of n.namedChildren) down(c, { ...ctx, within: [...ctx.within, "synchronized"] });
+      locks.push(line(n2));
+      for (const c of n2.namedChildren) down(c, { ...ctx, within: [...ctx.within, "synchronized"] });
       return;
     }
     if (t === "with_statement") {
-      const item = n.namedChildren[0];
-      if (PY_LOCK_ITEM.test(item?.text ?? "")) locks.push(line(n));
+      const item = n2.namedChildren[0];
+      if (PY_LOCK_ITEM.test(item?.text ?? "")) locks.push(line(n2));
       const label2 = withLabel(item);
-      for (const c of n.namedChildren) down(c, c.type === "block" && label2 ? { ...ctx, within: [...ctx.within, label2] } : ctx);
+      for (const c of n2.namedChildren) down(c, c.type === "block" && label2 ? { ...ctx, within: [...ctx.within, label2] } : ctx);
       return;
     }
     if (spec.loops.has(t)) {
-      loops.push(line(n));
-      for (const c of n.namedChildren) down(c, { ...ctx, inLoop: true });
+      loops.push(line(n2));
+      for (const c of n2.namedChildren) down(c, { ...ctx, inLoop: true });
       return;
     }
     if (spec.tries.has(t)) {
-      const handlers = n.namedChildren.filter((c) => spec.handlers.has(c.type));
-      tries.push({ line: line(n), end: n.endPosition.row + 1, catches: handlers.length > 0, rethrows: handlers.some(throwsIn) });
-      const body2 = n.childForFieldName("body");
-      for (const c of n.namedChildren) down(c, c.id === body2?.id ? { ...ctx, tryAt: line(n) } : ctx);
+      const handlers = n2.namedChildren.filter((c) => spec.handlers.has(c.type));
+      tries.push({ line: line(n2), end: n2.endPosition.row + 1, catches: handlers.length > 0, rethrows: handlers.some(throwsIn) });
+      const body2 = n2.childForFieldName("body");
+      for (const c of n2.namedChildren) down(c, c.id === body2?.id ? { ...ctx, tryAt: line(n2) } : ctx);
       return;
     }
-    for (const c of n.namedChildren) down(c);
+    for (const c of n2.namedChildren) down(c);
   };
   const synchronizedMethod = spec.id === "java" && /\bsynchronized\b/.test(def.fn.namedChildren.find((c) => c.type === "modifiers")?.text ?? "");
   walk2(def.fn, { inLoop: false, tryAt: null, within: synchronizedMethod ? ["synchronized"] : [] });
@@ -29432,11 +29432,11 @@ function regionOf(rt, path, content, fn, changed, maxLines, deadlineAt) {
   if (!tree) return { source: "fallback", reason: "deadline", elapsedMs: Date.now() - started };
   try {
     const lines = content.split("\n");
-    let n = tree.rootNode.descendantForPosition({ row: from - 1, column: 0 }, { row: to - 1, column: (lines[to - 1] ?? "").length });
+    let n2 = tree.rootNode.descendantForPosition({ row: from - 1, column: 0 }, { row: to - 1, column: (lines[to - 1] ?? "").length });
     let block = null;
-    for (; n && line(n) >= fn.start.line; n = n.parent) {
-      if (BLOCKS.has(n.type) && n.endPosition.row + 1 - line(n) + 1 > maxLines) {
-        block = n;
+    for (; n2 && line(n2) >= fn.start.line; n2 = n2.parent) {
+      if (BLOCKS.has(n2.type) && n2.endPosition.row + 1 - line(n2) + 1 > maxLines) {
+        block = n2;
         break;
       }
     }
@@ -29482,8 +29482,8 @@ var STABLE_EXPRESSION = (t) => {
 function argResource(kind2, arg) {
   if (!arg) return { kind: kind2, name: null, confidence: "unknown" };
   if (arg.literal !== null) {
-    const n = literalName(arg.literal);
-    return n ? { kind: kind2, name: n.name, confidence: n.confidence } : { kind: kind2, name: null, confidence: "unknown" };
+    const n2 = literalName(arg.literal);
+    return n2 ? { kind: kind2, name: n2.name, confidence: n2.confidence } : { kind: kind2, name: null, confidence: "unknown" };
   }
   if (SIMPLE_EXPRESSION.test(arg.text) && STABLE_EXPRESSION(arg.text)) return { kind: kind2, name: arg.text, confidence: "expression" };
   const keyed = keyedCall(arg.text);
@@ -29832,7 +29832,7 @@ function accessMap(input) {
   const effects = effectsWithHelpers(target, fileFns, lang, 2, state);
   const byName = new Map(fileFns.map((f) => [f.name, f]));
   const helperNames = new Set(effects.flatMap((e) => e.via));
-  const helpers = [...helperNames].map((n) => byName.get(n)).filter((f) => !!f && f !== target && !inside(f, target)).slice(0, MAX_HELPERS);
+  const helpers = [...helperNames].map((n2) => byName.get(n2)).filter((f) => !!f && f !== target && !inside(f, target)).slice(0, MAX_HELPERS);
   const named = effects.filter((e) => e.resource.name !== null && e.resource.confidence !== "unknown");
   const resources = [];
   for (const e of [...named.filter((x) => x.op === "write"), ...named.filter((x) => x.op === "read")]) {
@@ -29995,8 +29995,8 @@ function declaredType(scope2, v, lang) {
 function classesIn(content, lang) {
   const lines = content.split("\n");
   const out2 = [];
-  for (let n = 0; n < lines.length; n++) {
-    const l = lines[n];
+  for (let n2 = 0; n2 < lines.length; n2++) {
+    const l = lines[n2];
     let name2 = null, base = null, impl = [];
     if (lang === "python") {
       const m2 = /^(\s*)class\s+([A-Za-z_]\w*)\s*(?:\(([^)]*)\))?\s*:/.exec(l);
@@ -30004,17 +30004,17 @@ function classesIn(content, lang) {
       name2 = m2[2];
       base = (m2[3] ?? "").split(",").map((x) => x.trim().split(".").pop() ?? "").find((x) => /^[A-Z]/.test(x) && x !== "object") ?? null;
       const indent = m2[1].length;
-      let end2 = n + 1;
+      let end2 = n2 + 1;
       while (end2 < lines.length && (lines[end2].trim() === "" || lines[end2].search(/\S/) > indent)) end2++;
-      out2.push({ name: name2, base, implementsList: [], start: n + 1, end: end2 });
+      out2.push({ name: name2, base, implementsList: [], start: n2 + 1, end: end2 });
       continue;
     }
     if (lang === "go") {
       const m2 = /^\s*type\s+([A-Z_a-z]\w*)\s+(struct|interface)\s*\{/.exec(l);
       if (!m2) continue;
-      let end2 = n;
+      let end2 = n2;
       while (end2 < lines.length && !/^\s*\}/.test(lines[end2])) end2++;
-      out2.push({ name: m2[1], base: null, implementsList: [], start: n + 1, end: end2 + 1 });
+      out2.push({ name: m2[1], base: null, implementsList: [], start: n2 + 1, end: end2 + 1 });
       continue;
     }
     const m = /\b(?:class|interface)\s+([A-Za-z_$][\w$]*)(?:<[^{]*?>)?\s*(?:extends\s+([\w$.]+)(?:<[^{]*?>)?)?\s*(?:implements\s+([^{]+))?\{?/.exec(l);
@@ -30022,8 +30022,8 @@ function classesIn(content, lang) {
     name2 = m[1];
     base = m[2] ? m[2].split(".").pop() ?? null : null;
     impl = (m[3] ?? "").split(",").map((x) => x.trim().replace(/<.*$/, "").split(".").pop() ?? "").filter(isIdent);
-    let depth = 0, seen = false, end = n;
-    for (let k = n; k < lines.length; k++) {
+    let depth = 0, seen = false, end = n2;
+    for (let k = n2; k < lines.length; k++) {
       for (const ch of lines[k]) {
         if (ch === "{") {
           depth++;
@@ -30036,7 +30036,7 @@ function classesIn(content, lang) {
       }
       end = k;
     }
-    out2.push({ name: name2, base, implementsList: impl, start: n + 1, end: end + 1 });
+    out2.push({ name: name2, base, implementsList: impl, start: n2 + 1, end: end + 1 });
   }
   return out2;
 }
@@ -30494,7 +30494,7 @@ function definitionOf(input) {
     const caller = at ? fns.filter((f) => f.start.line <= at && at <= f.end.line).sort((a, b) => a.end.line - a.start.line - (b.end.line - b.start.line))[0] ?? null : null;
     const tsCache = /* @__PURE__ */ new Map();
     const resolveImport = (spec, from) => moduleFiles(source2, spec, from, lang, tsCache);
-    const imports = (c, n) => importOf(c, lang, n, null);
+    const imports = (c, n2) => importOf(c, lang, n2, null);
     let type = receiverType(content, lang, caller, receiver, at) ?? fieldChainType({ content, lang, caller, receiver, line: at, fromPath: path, source: source2, resolveImport, importOf: imports });
     if (type?.startsWith(RESULT_OF)) {
       const [fnName, idx] = type.slice(RESULT_OF.length).split("#");
@@ -30519,7 +30519,7 @@ function definitionOf(input) {
         source: source2,
         outline,
         resolveImport: (spec, from) => moduleFiles(source2, spec, from, lang, tsCache),
-        importOf: (c, n) => importOf(c, lang, n, null)
+        importOf: (c, n2) => importOf(c, lang, n2, null)
       });
       for (const h of hits) add([h.fn], h.how === "class" ? "type" : h.how);
     }
@@ -30663,7 +30663,7 @@ function callersOf(input) {
         let tie = fileTie;
         if (owner) {
           if (!c.receiver) continue;
-          const imports = (cc, n) => importOf(cc, lang, n, null);
+          const imports = (cc, n2) => importOf(cc, lang, n2, null);
           const resolveImport = (spec, from) => moduleFiles(source2, spec, from, lang, cache);
           const type = receiverType(read2.content, lang, fn, c.receiver, c.line) ?? fieldChainType({ content: read2.content, lang, caller: fn, receiver: c.receiver, line: c.line, fromPath: p, source: source2, resolveImport, importOf: imports });
           if (type !== owner) continue;
@@ -30809,8 +30809,8 @@ var SOURCE_EXTS = ["ts", "tsx", "mts", "cts", "js", "jsx", "mjs", "cjs", "py", "
 function parseHit(line2) {
   const m = /^(.+?):(\d+):(.*)$/.exec(line2);
   if (!m) return null;
-  const n = Number(m[2]);
-  return n >= 1 ? { path: m[1], line: n, text: m[3] } : null;
+  const n2 = Number(m[2]);
+  return n2 >= 1 ? { path: m[1], line: n2, text: m[3] } : null;
 }
 function capHits(lines, maxHits) {
   const hits = [];
@@ -31374,15 +31374,15 @@ function functionWindow(codeMap, path, content, line2, maxLines) {
 }
 function writerExcerpts(codeMap, writers, read2, maxLines, maxChars, budget) {
   const out2 = [];
-  let used = 0;
+  let used2 = 0;
   for (const w of writers) {
     const content = read2(w.file);
     if (content === null) continue;
     const win = functionWindow(codeMap, w.file, content, w.line, maxLines);
     if (!win) continue;
     const text = content.split("\n").slice(win.start_line - 1, win.end_line).join("\n").slice(0, maxChars);
-    if (used + text.length > budget) break;
-    used += text.length;
+    if (used2 + text.length > budget) break;
+    used2 += text.length;
     out2.push({ file: w.file, start_line: win.start_line, symbol: `${w.symbol} (writes ${w.resource}, like ${w.changed})`, kind: "writer", text });
   }
   return out2;
@@ -31509,7 +31509,7 @@ function splitClaudeMdSections(content) {
 }
 function classifyClaudeSection(heading) {
   const h = heading.toLowerCase();
-  const hasAny = (needles) => needles.some((n) => h.includes(n));
+  const hasAny = (needles) => needles.some((n2) => h.includes(n2));
   if (hasAny(["security", "auth", "secret", "credential", "cwe", "vulnerabilit", "sanitiz"])) return "security";
   if (hasAny(["gotcha", "caveat", "pitfall", "footgun", "beware", "watch out", "known issue", "warning"])) return "gotcha";
   if (hasAny(["decision", "adr", "rationale", "why we", "chose", "trade-off", "tradeoff"])) return "decision";
@@ -31722,7 +31722,7 @@ async function serverSeedTitles(opts) {
   });
   if (!res.ok || !Array.isArray(res.data.nodes)) return null;
   const titles = /* @__PURE__ */ new Set();
-  for (const n of res.data.nodes) if (typeof n?.title === "string") titles.add(normalizeTitle(n.title));
+  for (const n2 of res.data.nodes) if (typeof n2?.title === "string") titles.add(normalizeTitle(n2.title));
   return titles;
 }
 function renderNodeMarkdown(candidate, nodeId, createdAt) {
@@ -32508,7 +32508,7 @@ function redactRequest(body2) {
     undelivered: true,
     total_files: files.length,
     total_bytes: files.reduce(
-      (n, f) => n + (typeof f.content === "string" ? f.content.length : 0),
+      (n2, f) => n2 + (typeof f.content === "string" ? f.content.length : 0),
       0
     ),
     // Paths only. A path is already visible in the repository; the content is not.
@@ -33027,10 +33027,10 @@ async function writePullState(state) {
   } catch {
   }
 }
-function pullsAtSessionStart(auth2, source2) {
+function pullsAtSessionStart(auth3, source2) {
   if (source2 === "compact") return false;
-  if (auth2.source === "env" || auth2.source === "flag") return true;
-  return auth2.userId != null;
+  if (auth3.source === "env" || auth3.source === "flag") return true;
+  return auth3.userId != null;
 }
 function spawnBackgroundPull(deps = {}) {
   const d = {
@@ -33151,7 +33151,7 @@ async function render(run4) {
   const memoryNodesUsed = response.memory_nodes_used;
   const lessonsUsed = response.lessons_used;
   if (memoryNodesUsed && memoryNodesUsed.length > 0) {
-    const nodeRefs = memoryNodesUsed.slice(0, 5).map((n) => n.node_id).join(", ");
+    const nodeRefs = memoryNodesUsed.slice(0, 5).map((n2) => n2.node_id).join(", ");
     process.stderr.write(`${DIM}Memory: ${memoryNodesUsed.length} nodes \u2014 ${nodeRefs}${NC}
 `);
   } else if (lessonsUsed && lessonsUsed.length > 0) {
@@ -34057,9 +34057,9 @@ function trackedSourceFiles(root, opts = {}) {
 }
 var EFFECT_LINE = /\bawait\b|\basync\s+with\b|\.then\(|\bsetTimeout\(|\bsetInterval\(|\bwith\s+\w[\w.]*\.(?:lock|acquire)\b|\bLock\(\)/;
 function countEffects(text) {
-  let n = 0;
-  for (const line2 of text.split("\n")) if (EFFECT_LINE.test(line2)) n++;
-  return n;
+  let n2 = 0;
+  for (const line2 of text.split("\n")) if (EFFECT_LINE.test(line2)) n2++;
+  return n2;
 }
 function scanRisk(text) {
   const counts = Object.fromEntries(RISK_PATTERNS.map(([c]) => [c, 0]));
@@ -34152,17 +34152,17 @@ function basisOf(source2, files) {
   const m = LINE.exec(s);
   if (!m) return { ok: false, why: s ? `"${s.slice(0, 60)}" is neither L<n>: <words> nor a rule` : "no source" };
   const path = m[1];
-  const n = Number(m[2]);
+  const n2 = Number(m[2]);
   const quoted = m[3].trim().replace(/^["'`“”]+|["'`“”]+$/g, "");
   const fragments = quoted.split(/…|\.\.\./).map(norm).filter((f) => f.length >= 4);
-  if (fragments.length === 0) return { ok: false, why: `L${n}: too few words to find on the line` };
+  if (fragments.length === 0) return { ok: false, why: `L${n2}: too few words to find on the line` };
   const pool = path ? [...files].filter(([f]) => f === path || f.endsWith(`/${path}`)).map(([, c]) => c) : [...files.values()];
   if (path && pool.length === 0) return { ok: false, why: `${path} is not one of the given files` };
   for (const content of pool) {
-    const line2 = content.split("\n")[n - 1];
-    if (line2 !== void 0 && fragments.every((f) => norm(line2).includes(f))) return { ok: true, basis: `L${n}: ${quoted.slice(0, 120)}` };
+    const line2 = content.split("\n")[n2 - 1];
+    if (line2 !== void 0 && fragments.every((f) => norm(line2).includes(f))) return { ok: true, basis: `L${n2}: ${quoted.slice(0, 120)}` };
   }
-  return { ok: false, why: `line ${n} does not contain "${quoted.slice(0, 60)}"` };
+  return { ok: false, why: `line ${n2} does not contain "${quoted.slice(0, 60)}"` };
 }
 var NOT_A_MENTION = "(?<!\\b(?:even|including|also|or) )";
 var UNTIL_FIRST = "(?:(?!\\bor\\b)[^,.;:]){0,60}?";
@@ -34260,13 +34260,13 @@ function changedExcerpt(content, changed, bytes, context = 30) {
     else acc.push({ ...w });
     return acc;
   }, []);
-  const isChanged = (n) => changed.some((r) => n >= r.from && n <= r.to);
+  const isChanged = (n2) => changed.some((r) => n2 >= r.from && n2 <= r.to);
   const out2 = [];
   let size = 0;
   for (const w of windows) {
     if (out2.length) out2.push("     \u2026");
-    for (let n = w.from; n <= w.to; n++) {
-      const line2 = `${String(n).padStart(5)}${isChanged(n) ? "*" : " "}| ${lines[n - 1] ?? ""}`;
+    for (let n2 = w.from; n2 <= w.to; n2++) {
+      const line2 = `${String(n2).padStart(5)}${isChanged(n2) ? "*" : " "}| ${lines[n2 - 1] ?? ""}`;
       size += line2.length + 1;
       if (size > bytes) {
         out2.push("     \u2026 (truncated)");
@@ -34378,14 +34378,14 @@ var lunaRanker = {
     }
   }
 };
-async function rankViaServer(candidates2, ctx, auth2) {
+async function rankViaServer(candidates2, ctx, auth3) {
   const fallback = deterministicOrder(candidates2);
   const excerptBytes = ctx.excerptBytes ?? 6 * 1024;
   const res = await apiRequest({
     method: "POST",
     path: "/prove/rank",
-    serviceUrl: auth2.serviceUrl,
-    token: auth2.token,
+    serviceUrl: auth3.serviceUrl,
+    token: auth3.token,
     body: {
       candidates: candidates2.map((c) => ({
         file: c.file,
@@ -34545,16 +34545,16 @@ function tokenizeLean(source2) {
   const out2 = [];
   const reasons = [];
   let i2 = 0;
-  const n = source2.length;
+  const n2 = source2.length;
   const blank = (ch) => ch === "\n" ? "\n" : " ";
-  while (i2 < n) {
+  while (i2 < n2) {
     const c = source2[i2];
     const next = source2[i2 + 1];
     if (c === "/" && next === "-") {
       let depth = 1;
       out2.push("  ");
       i2 += 2;
-      while (i2 < n && depth > 0) {
+      while (i2 < n2 && depth > 0) {
         if (source2[i2] === "/" && source2[i2 + 1] === "-") {
           depth++;
           out2.push("  ");
@@ -34573,7 +34573,7 @@ function tokenizeLean(source2) {
       continue;
     }
     if (c === "-" && next === "-") {
-      while (i2 < n && source2[i2] !== "\n") {
+      while (i2 < n2 && source2[i2] !== "\n") {
         out2.push(" ");
         i2++;
       }
@@ -34590,11 +34590,11 @@ function tokenizeLean(source2) {
         out2.push(" ".repeat(j + 1 - i2));
         i2 = j + 1;
         const close = '"' + "#".repeat(hashes);
-        while (i2 < n && source2.slice(i2, i2 + close.length) !== close) {
+        while (i2 < n2 && source2.slice(i2, i2 + close.length) !== close) {
           out2.push(blank(source2[i2]));
           i2++;
         }
-        out2.push(" ".repeat(Math.min(close.length, n - i2)));
+        out2.push(" ".repeat(Math.min(close.length, n2 - i2)));
         i2 += close.length;
         continue;
       }
@@ -34603,7 +34603,7 @@ function tokenizeLean(source2) {
       const interpolated = source2[i2 - 1] === "!" && source2[i2 - 2] === "s";
       out2.push(" ");
       i2++;
-      while (i2 < n && source2[i2] !== '"') {
+      while (i2 < n2 && source2[i2] !== '"') {
         if (source2[i2] === "\\") {
           out2.push("  ");
           i2 += 2;
@@ -34612,7 +34612,7 @@ function tokenizeLean(source2) {
         if (interpolated && source2[i2] === "{") {
           let j = i2 + 1;
           let expr = "";
-          while (j < n && source2[j] !== "}" && source2[j] !== '"' && source2[j] !== "\n") expr += source2[j++];
+          while (j < n2 && source2[j] !== "}" && source2[j] !== '"' && source2[j] !== "\n") expr += source2[j++];
           if (source2[j] !== "}") reasons.push(`string interpolation must close before a quote or line end: \`{${expr.trim().slice(0, 40)}\``);
           const words = expr.trim().split(/\s+/);
           if (words.length === 0 || words.some((w) => !/^[A-Za-z_][A-Za-z0-9_.']*$/.test(w))) {
@@ -35614,14 +35614,14 @@ async function runReplayInContainer(brief, opts) {
     }
   }
 }
-async function runReplayViaServer(brief, auth2, budgetMs = 24e4) {
+async function runReplayViaServer(brief, auth3, budgetMs = 24e4) {
   const started = Date.now();
   const budget = Math.max(2e4, Math.round(budgetMs));
   const res = await apiRequest({
     method: "POST",
     path: "/prove/replay",
-    serviceUrl: auth2.serviceUrl,
-    token: auth2.token,
+    serviceUrl: auth3.serviceUrl,
+    token: auth3.token,
     body: {
       model: brief.model,
       model_source: brief.modelSource,
@@ -36271,14 +36271,14 @@ function parseProperty(obj) {
   if (!model || !id || !kind2 || !result || source2 === null || desc === null) return null;
   const p = { model, id, kind: kind2, source: source2, desc, result };
   if (obj.bound !== void 0) {
-    const n = nat(obj.bound);
-    if (n === null) return null;
-    p.bound = n;
+    const n2 = nat(obj.bound);
+    if (n2 === null) return null;
+    p.bound = n2;
   }
   if (obj.states !== void 0) {
-    const n = nat(obj.states);
-    if (n === null) return null;
-    p.states = n;
+    const n2 = nat(obj.states);
+    if (n2 === null) return null;
+    p.states = n2;
   }
   if (obj.trace !== void 0) {
     const t = strArr(obj.trace, LIMITS.traceItems, LIMITS.traceItem);
@@ -36887,14 +36887,14 @@ function readPersistedFindings(root) {
 function waiveFormalFindings(root, file, reason) {
   const all = readPersistedFindings(root);
   const at = (/* @__PURE__ */ new Date()).toISOString();
-  let n = 0;
+  let n2 = 0;
   const next = all.map((f) => {
     if (f.file !== file || f.waived) return f;
-    n++;
+    n2++;
     return { ...f, waived: { reason: reason.slice(0, 500), at } };
   });
-  if (n > 0) writePersistedFindings(root, next);
-  return n;
+  if (n2 > 0) writePersistedFindings(root, next);
+  return n2;
 }
 function writePersistedFindings(root, findings) {
   if (!isLocalState(root, FINDINGS_FILE)) return;
@@ -37317,9 +37317,9 @@ function describeTarget(content, symbol, file, range, opts = {}) {
   }
   const body2 = extractSymbolBody(content, symbol, file);
   if (!body2) return { numbered: numberLines(content.slice(0, 24 * 1024)), extent };
-  const n = body2.split("\n").length;
-  const from = all.findIndex((_, i2) => all.slice(i2, i2 + n).join("\n") === body2) + 1;
-  return { lines: from > 0 ? { from, to: from + n - 1 } : void 0, numbered: numberLines(body2, from > 0 ? from : 1), extent };
+  const n2 = body2.split("\n").length;
+  const from = all.findIndex((_, i2) => all.slice(i2, i2 + n2).join("\n") === body2) + 1;
+  return { lines: from > 0 ? { from, to: from + n2 - 1 } : void 0, numbered: numberLines(body2, from > 0 ? from : 1), extent };
 }
 async function generateAndCheck(root, req, opts) {
   const readSrc = opts.deps.readSource ?? workingTreeReader(root);
@@ -37333,7 +37333,7 @@ async function generateAndCheck(root, req, opts) {
     if (outline?.source === "tree-sitter") {
       const names2 = [...new Set(outline.value.filter((f) => f.name && f.kind !== "lambda").map((f) => f.qualified))];
       const last = (req.symbol.split(/[.#:]/).pop() ?? req.symbol).toLowerCase();
-      const close = names2.filter((n) => n.toLowerCase().includes(last));
+      const close = names2.filter((n2) => n2.toLowerCase().includes(last));
       const shown = (close.length > 0 ? close : names2).slice(0, 12);
       return { ok: false, error: `no function \`${req.symbol}\` in ${req.file}${shown.length ? ` (it has: ${shown.join(", ")})` : ""}. Name one as ${req.file}#<name>, or pass --lines a-b`, rounds: 0, costUsd: 0 };
     }
@@ -37402,9 +37402,9 @@ async function generateAndCheck(root, req, opts) {
 function skippedOutcome(skip, detail) {
   return { status: "skipped", skip, ...detail ? { detail } : {}, findings: [], usage: { inputTokens: 0, outputTokens: 0, costUsd: 0, unpriced: 0 }, durationMs: 0 };
 }
-async function prepareFormalPhase(root, env = process.env, auth2, readSource, codeSource) {
+async function prepareFormalPhase(root, env = process.env, auth3, readSource, codeSource) {
   const direct = env.VERITY_PROVE_DIRECT === "1" && !!env.OPENAI_API_KEY;
-  if (!auth2 && !direct) return { ok: false, skip: "not-logged-in" };
+  if (!auth3 && !direct) return { ok: false, skip: "not-logged-in" };
   const apiKey = direct ? env.OPENAI_API_KEY : void 0;
   const toolchain = findToolchain(env);
   if (!toolchain) return { ok: false, skip: "no-toolchain" };
@@ -37418,7 +37418,7 @@ async function prepareFormalPhase(root, env = process.env, auth2, readSource, co
   const build = await buildLibraryAsync(toolchain, root, 9e4);
   if (!build.ok) return { ok: false, skip: "library-build-failed", detail: build.stderr.split("\n").filter((l) => !l.startsWith("trace:")).join(" ").slice(0, 200) };
   const code = await loadCodeContext(root, env, codeSource);
-  return { ok: true, deps: { ...defaultDeps({ auth: auth2, apiKey, env, toolchain, readSource, ...code }), codeSource: code.codeSource } };
+  return { ok: true, deps: { ...defaultDeps({ auth: auth3, apiKey, env, toolchain, readSource, ...code }), codeSource: code.codeSource } };
 }
 async function loadCodeContext(root, env = process.env, codeSource) {
   const loaded = await loadCodeMap(env);
@@ -37516,9 +37516,9 @@ function recordPostTimeout(now, deadlineAt, timeoutMs = RECORD_TIMEOUT_MS) {
 var norm2 = (p) => p.replace(/\\/g, "/");
 var SAFE_SEGMENT = /^[A-Za-z0-9._@+~$()[\]-]{1,255}$/;
 function safeRepoPath(p) {
-  const n = norm2(p);
-  if (!n || n.length > 512 || n.startsWith("/") || /^[A-Za-z]:\//.test(n)) return null;
-  return n.split("/").every((s) => s !== "." && s !== ".." && SAFE_SEGMENT.test(s)) ? n : null;
+  const n2 = norm2(p);
+  if (!n2 || n2.length > 512 || n2.startsWith("/") || /^[A-Za-z]:\//.test(n2)) return null;
+  return n2.split("/").every((s) => s !== "." && s !== ".." && SAFE_SEGMENT.test(s)) ? n2 : null;
 }
 var SYMBOL = /^[A-Za-z_$][\w$]*(?:[.#:][A-Za-z_$][\w$]*)*$/;
 var IDENT3 = /^[A-Za-z][\w]*$/;
@@ -37538,7 +37538,7 @@ function recordTrace(trace) {
 }
 var ident2 = (s, re, max) => typeof s === "string" && s.length <= max && re.test(s) ? s : null;
 var kind = (k) => k === "intent" ? "intent" : "structural";
-var signalsOf = (c) => c && typeof c.commits === "number" && typeof c.fixCommits === "number" ? { commits: c.commits, fix_commits: c.fixCommits, risk: Object.fromEntries(Object.entries(c.risk ?? {}).filter(([, n]) => typeof n === "number" && n > 0).slice(0, 16)) } : null;
+var signalsOf = (c) => c && typeof c.commits === "number" && typeof c.fixCommits === "number" ? { commits: c.commits, fix_commits: c.fixCommits, risk: Object.fromEntries(Object.entries(c.risk ?? {}).filter(([, n2]) => typeof n2 === "number" && n2 > 0).slice(0, 16)) } : null;
 function buildPhaseRecord(outcome, ctx) {
   const pushed = new Set(ctx.pushedFiles.map(norm2));
   const blocks = (f) => ctx.moment === "push" && f.verdict === "reproduced" && !f.waived && pushed.has(norm2(f.file));
@@ -37938,7 +37938,7 @@ function startAgentReview(input) {
         diffs: await buildAgentDiffs(ctx, sentPaths),
         repo_context: input.requestBody.repo_context,
         static_results: input.requestBody.static_results,
-        one_shot_chars: input.codeDelta.files.reduce((n, f) => n + f.content.length, 0),
+        one_shot_chars: input.codeDelta.files.reduce((n2, f) => n2 + f.content.length, 0),
         local_tools: offeredLocalTools(ctx)
       },
       oneShot: input.oneShot.then((r) => r.ok ? { ok: true, response: r.data } : { ok: false }),
@@ -37960,7 +37960,7 @@ function startFormalPhase(input) {
     for (const [path, sig] of rangeChangeSignals(input.frame, input.range, files)) {
       changedLines.set(path, [
         ...sig.addedRanges.map(([from, to]) => ({ from, to })),
-        ...sig.touchPoints.map((n) => ({ from: n, to: n }))
+        ...sig.touchPoints.map((n2) => ({ from: n2, to: n2 }))
       ]);
     }
   } catch {
@@ -38534,11 +38534,11 @@ function printBanner(opts) {
   }
   process.stderr.write("\n");
 }
-function printPhase(n, of, title, subtitle) {
+function printPhase(n2, of, title, subtitle) {
   const color = colorEnabled();
   const columns = process.stderr.columns ?? 72;
   const width = Math.min(columns, 72);
-  const label2 = `\u2500\u2500 Phase ${n} of ${of} \xB7 ${title} `;
+  const label2 = `\u2500\u2500 Phase ${n2} of ${of} \xB7 ${title} `;
   const rule = label2 + "\u2500".repeat(Math.max(0, width - label2.length - 2));
   process.stderr.write("\n");
   process.stderr.write(color ? `  ${DIM3}${rule}${RESET2}
@@ -38915,7 +38915,7 @@ function registerDoctorCommand(program2) {
     if (report.next.length > 0) {
       console.log("");
       printWarn("Next:");
-      for (const n of report.next) printWarn(`  - ${n}`);
+      for (const n2 of report.next) printWarn(`  - ${n2}`);
     } else {
       printInfo("Setup is complete.");
     }
@@ -39306,8 +39306,8 @@ function renderSelect(question, choices, state, mode2, color = colorEnabled()) {
     const marker = state.chosen.has(i2) ? "\u25C9" : "\u25CB";
     const cursor = here ? "\u276F" : " ";
     const label2 = labelOf(choice);
-    const pad = choice.hint ? " ".repeat(gutter - label2.length) : "";
-    const hint = choice.hint ? `${pad}   ${paint(choice.hint, DIM4)}` : "";
+    const pad2 = choice.hint ? " ".repeat(gutter - label2.length) : "";
+    const hint = choice.hint ? `${pad2}   ${paint(choice.hint, DIM4)}` : "";
     lines.push(`  ${cursor} ${marker} ${here ? paint(label2, BOLD2) : label2}${hint}`);
   });
   const keys = mode2 === "multi" ? "\u2191\u2193 move \xB7 space or number toggle \xB7 enter confirm" : "\u2191\u2193 move \xB7 number jumps \xB7 enter confirm";
@@ -39418,9 +39418,9 @@ function parseMultiSelect(answer, choices, fallback) {
   if (a === "") return { ids: [...fallback], recognized: true };
   const picked = /* @__PURE__ */ new Set();
   for (const part of a.split(",").map((s) => s.trim()).filter(Boolean)) {
-    const n = Number.parseInt(part, 10);
-    if (Number.isInteger(n) && n >= 1 && n <= choices.length) {
-      picked.add(choices[n - 1].id);
+    const n2 = Number.parseInt(part, 10);
+    if (Number.isInteger(n2) && n2 >= 1 && n2 <= choices.length) {
+      picked.add(choices[n2 - 1].id);
       continue;
     }
     const byId = choices.find((c) => c.id.toLowerCase() === part || c.label.toLowerCase() === part);
@@ -39590,7 +39590,7 @@ function inPlaceProgress(label2, write = (s) => process.stderr.write(s)) {
   let active = false;
   let lastAt = 0;
   let lastPct = -1;
-  const mb = (n) => (n / 1048576).toFixed(0);
+  const mb = (n2) => (n2 / 1048576).toFixed(0);
   return {
     update(seen, total) {
       const now = Date.now();
@@ -39625,7 +39625,7 @@ async function installLean(opts = {}) {
   const free = freeBytes(home);
   const needed = opts.minFreeBytes ?? LEAN_DISK_NEEDED_BYTES;
   if (free !== null && free < needed) {
-    const gb = (n) => (n / 1024 ** 3).toFixed(1);
+    const gb = (n2) => (n2 / 1024 ** 3).toFixed(1);
     return { ok: false, error: `not enough disk space for Lean: ${gb(free)} GB free where ${home} lives, needs about ${gb(needed)} GB` };
   }
   const tmp = (0, import_node_path52.join)(home, ".tmp");
@@ -40636,7 +40636,7 @@ function registerInitCommand(program2) {
         ...telemetryChoice ? { telemetry: telemetryChoice } : {},
         init: {
           completed_at: (/* @__PURE__ */ new Date()).toISOString(),
-          cli_version: true ? "0.34.2" : "dev"
+          cli_version: true ? "0.34.3" : "dev"
         }
       });
     } catch (err2) {
@@ -41616,6 +41616,148 @@ function registerTelemetryCommands(program2) {
   });
 }
 
+// src/commands/usage.ts
+var PLAN = { free: "Free", pro: "Pro", fleet: "Fleet" };
+var MONTHS = ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
+function n(v) {
+  return v.toLocaleString("en-US");
+}
+function used(v, limit) {
+  return limit === void 0 ? n(v) : `${n(v)} / ${n(limit)}`;
+}
+function secs(ms) {
+  return ms === null ? "\u2014" : `${(ms / 1e3).toFixed(1)} s`;
+}
+function utcHm(iso) {
+  const d = new Date(iso);
+  return `${String(d.getUTCHours()).padStart(2, "0")}:${String(d.getUTCMinutes()).padStart(2, "0")} UTC`;
+}
+function utcDay(iso) {
+  const d = new Date(iso);
+  return `${d.getUTCDate()} ${MONTHS[d.getUTCMonth()]}`;
+}
+function inText(now, at) {
+  const min = Math.max(0, Math.round((at.getTime() - now.getTime()) / 6e4));
+  if (min < 60) return `${min} min`;
+  const h = Math.floor(min / 60);
+  return h < 48 ? `${h} h ${min % 60} min` : `${Math.floor(h / 24)} d ${h % 24} h`;
+}
+function pad(s, w) {
+  return s.length >= w ? s : s + " ".repeat(w - s.length);
+}
+function renderSeatUsage(d, now = /* @__PURE__ */ new Date()) {
+  const lim = d.plan?.limits;
+  const pool = d.plan?.week_pool ?? null;
+  const memberWeek = (m) => pool ? void 0 : lim?.[m].week;
+  const lines = [];
+  lines.push(`=== Verity usage \xB7 ${d.organization.name}${d.plan ? ` (${PLAN[d.plan.id] ?? d.plan.id})` : ""} ===`);
+  lines.push(
+    `Session ${utcHm(d.session.start)}\u2013${utcHm(d.session.resets_at)} (resets in ${inText(now, new Date(d.session.resets_at))}) \xB7 week from Mon ${utcDay(d.week.start)} (resets Mon ${utcDay(d.week.resets_at)}, 00:00 UTC)`
+  );
+  if (!d.plan) lines.push("No plan is set for this org: counts only. Plan limits apply from Nov 2.");
+  else if (!d.enforced) lines.push("Limits are shown for information. They are not enforced before Nov 2.");
+  const me = d.members.find((m) => m.me);
+  if (me) {
+    const w = me.weeks[0];
+    lines.push("");
+    lines.push(`You (${me.email ?? `user #${me.user_id}`})`);
+    lines.push(`  ${pad("Commit & push reviews", 24)}session ${pad(used(me.session.commit, lim?.commit.session), 12)}week ${pad(used(w.commit, memberWeek("commit")), 14)}busiest session ${n(w.peak_session.commit)}`);
+    lines.push(`  ${pad("Turn reviews", 24)}session ${pad(used(me.session.turn, lim?.turn.session), 12)}week ${pad(used(w.turn, memberWeek("turn")), 14)}busiest session ${n(w.peak_session.turn)}`);
+    lines.push(`  This week: ${n(w.blocked)} blocked, ${n(w.warned)} warned \xB7 review time p50 ${secs(w.latency_ms.p50)}, p90 ${secs(w.latency_ms.p90)}`);
+  }
+  const t = d.totals.weeks[0];
+  lines.push("");
+  lines.push(`Team \xB7 ${n(d.totals.active_members)} active this week`);
+  if (pool && lim) {
+    lines.push(
+      `  Week pool: ${n(t.commit)} / ${n(pool.commit)} commit & push, ${n(t.turn)} / ${n(pool.turn)} turn (${n(pool.members)} members \xD7 ${n(lim.commit.week)} and ${n(lim.turn.week)}; the session limit is each member's)`
+    );
+  }
+  if (d.viewer !== "member" && d.members.length > 0) {
+    const rows = d.members.map((m) => [
+      `${m.email ?? `user #${m.user_id}`}${m.me ? " (you)" : ""}`,
+      used(m.session.commit, lim?.commit.session),
+      used(m.weeks[0].commit, memberWeek("commit")),
+      n(m.weeks[0].peak_session.commit),
+      used(m.session.turn, lim?.turn.session),
+      used(m.weeks[0].turn, memberWeek("turn")),
+      n(m.weeks[0].blocked),
+      `${secs(m.weeks[0].latency_ms.p50)} / ${secs(m.weeks[0].latency_ms.p90)}`
+    ]);
+    const head = ["Member", "C&P session", "C&P week", "C&P peak", "Turn session", "Turn week", "Blocked", "p50 / p90"];
+    const total = [
+      "Team total",
+      n(d.totals.session.commit),
+      used(t.commit, pool?.commit),
+      n(t.peak_session.commit),
+      n(d.totals.session.turn),
+      used(t.turn, pool?.turn),
+      n(t.blocked),
+      `${secs(t.latency_ms.p50)} / ${secs(t.latency_ms.p90)}`
+    ];
+    const widths = head.map((h, i2) => Math.max(h.length, ...rows.map((r) => r[i2].length), total[i2].length) + 2);
+    lines.push("  " + head.map((h, i2) => pad(h, widths[i2])).join("").trimEnd());
+    for (const r of rows) lines.push("  " + r.map((c, i2) => pad(c, widths[i2])).join("").trimEnd());
+    lines.push("  " + total.map((c, i2) => pad(c, widths[i2])).join("").trimEnd());
+  } else {
+    lines.push(`  This week: ${n(t.commit)} commit & push reviews, ${n(t.turn)} turn reviews, ${n(t.blocked)} blocked.`);
+    if (d.viewer === "member") lines.push(`  Only the admins of ${d.organization.name} see every member.`);
+  }
+  if (d.truncated) lines.push("  (Partial: the org has more reviews than one report reads.)");
+  lines.push("");
+  lines.push(`Counted: ${d.counting}`);
+  return lines;
+}
+async function auth2(globals) {
+  const tokenResult = await resolveToken(globals.token);
+  if (!tokenResult.ok) {
+    printError(tokenResult.error);
+    process.exit(1);
+  }
+  const urlResult = await resolveServiceUrl(globals.serviceUrl);
+  if (!urlResult.ok) {
+    printError(urlResult.error);
+    process.exit(1);
+  }
+  return { token: tokenResult.data.token, serviceUrl: urlResult.data };
+}
+function registerUsageCommand(program2) {
+  program2.command("usage").description("Show reviews per member of this org, this session and this week, against the plan limits").option("--org <name>", "The org to show (default: the org of this repository)").option("--weeks <n>", "Weeks of history in --json (1-12)", "4").option("--json", "Machine-readable output").action(async (opts) => {
+    const globals = program2.opts();
+    const { token, serviceUrl } = await auth2(globals);
+    const weeks = Math.min(12, Math.max(1, Number.parseInt(opts.weeks ?? "4", 10) || 4));
+    const query = `weeks=${weeks}${opts.org ? `&org=${encodeURIComponent(opts.org)}` : ""}`;
+    const res = await apiRequest({
+      method: "GET",
+      path: `/usage/seats?${query}`,
+      serviceUrl,
+      token,
+      verbose: globals.verbose,
+      cmd: "usage"
+    });
+    if (!res.ok) {
+      const denial = authDenialRemedy(res.error);
+      printError(denial && denial.code !== "FORBIDDEN" ? denial.remedy : res.error);
+      process.exit(1);
+    }
+    if (opts.json) {
+      printJson(res.data);
+      return;
+    }
+    if ("orgs" in res.data) {
+      const orgs = res.data.orgs;
+      if (orgs.length === 0) {
+        printInfo("You have no repository in an org that Verity knows yet. Run a review in one first.");
+        return;
+      }
+      printInfo("Choose an org: verity usage --org <name>");
+      for (const o of orgs) printInfo(`  ${o.name}${o.viewer === "admin" ? " (admin)" : ""}`);
+      return;
+    }
+    for (const line2 of renderSeatUsage(res.data)) printInfo(line2);
+  });
+}
+
 // src/commands/prove.ts
 var import_node_fs73 = require("node:fs");
 var import_node_path57 = require("node:path");
@@ -41871,8 +42013,8 @@ ${build.stderr.split("\n").filter((l) => !l.startsWith("trace:")).slice(0, 20).j
   });
   prove.command("replay <model>").description("Replay a model's counterexample on the real code in an OpenAI container (network off) \u2014 reproduced / diverged").option("--property <id>", "Only this property (default: every counterexample)").option("--model-name <name>", "OpenAI model for the replay", "gpt-5.6-terra").option("--timeout <ms>", "Per-property timeout in ms", "240000").option("--json", "Machine-readable output").action(async (model, opts) => {
     const root = repoRoot();
-    const auth2 = await proveAuth(program2);
-    if (!auth2 && !(process.env.VERITY_PROVE_DIRECT === "1" && process.env.OPENAI_API_KEY)) {
+    const auth3 = await proveAuth(program2);
+    if (!auth3 && !(process.env.VERITY_PROVE_DIRECT === "1" && process.env.OPENAI_API_KEY)) {
       printError("Not logged in \u2014 replays run on the Verity service. Run `verity login` first.");
       process.exit(2);
     }
@@ -41911,7 +42053,7 @@ ${report.error ?? ""}`);
     if (!opts.json) printInfo(`replaying ${targets.length} counterexample(s) of ${model} in network-less containers (${Math.min(targets.length, REPLAY_CONCURRENCY)} at a time)\u2026`);
     const outcomes = await mapPool(targets, REPLAY_CONCURRENCY, async (p) => {
       const brief = buildReplayBrief(root, report, p, modelSource.ok ? modelSource.content : "");
-      const outcome = await runReplay(brief, { auth: auth2 ?? void 0, apiKey: process.env.OPENAI_API_KEY, model: opts.modelName, timeoutMs: Math.max(1e4, Number(opts.timeout) || 24e4) });
+      const outcome = await runReplay(brief, { auth: auth3 ?? void 0, apiKey: process.env.OPENAI_API_KEY, model: opts.modelName, timeoutMs: Math.max(1e4, Number(opts.timeout) || 24e4) });
       if (!opts.json) process.stdout.write(renderReplay(model, p, outcome) + "\n");
       try {
         writeReplayResult(root, report.model, p.id, outcome);
@@ -41937,10 +42079,10 @@ ${report.error ?? ""}`);
       printInfo("No changed files to consider (nothing ahead of upstream). Pass paths explicitly.");
       return;
     }
-    const auth2 = await proveAuth(program2);
-    const prep = await prepareFormalPhase(root, process.env, auth2 ?? void 0);
+    const auth3 = await proveAuth(program2);
+    const prep = await prepareFormalPhase(root, process.env, auth3 ?? void 0);
     const outcome = prep.ok ? await runFormalPhaseWithin({ root, files, deadlineAt: Date.now() + Math.max(3e4, Number(opts.deadline) || 17e4), deps: prep.deps }).catch((err2) => skippedOutcome("error", String(err2?.message ?? err2).slice(0, 200))) : skippedOutcome(prep.skip, prep.detail);
-    if (auth2) await postPhaseRecord(outcome, { moment: "on-demand", parentRunId: null, pushedFiles: [] }, auth2);
+    if (auth3) await postPhaseRecord(outcome, { moment: "on-demand", parentRunId: null, pushedFiles: [] }, auth3);
     if (opts.json) {
       printJson(outcome);
     } else {
@@ -41972,8 +42114,8 @@ ${f.reason ? `      ${terminalText(f.reason, 2e3)}
       opts[flag] = input.text;
     }
     const root = repoRoot();
-    const auth2 = await proveAuth(program2);
-    if (!auth2 && !(process.env.VERITY_PROVE_DIRECT === "1" && process.env.OPENAI_API_KEY)) {
+    const auth3 = await proveAuth(program2);
+    if (!auth3 && !(process.env.VERITY_PROVE_DIRECT === "1" && process.env.OPENAI_API_KEY)) {
       printError("Not logged in \u2014 models are written by the Verity service. Run `verity login` first.");
       process.exit(2);
     }
@@ -42014,7 +42156,7 @@ ${f.reason ? `      ${terminalText(f.reason, 2e3)}
       printError("Verity library did not build");
       process.exit(2);
     }
-    const deps = await onDemandDeps(root, { auth: auth2 ?? void 0, apiKey: process.env.VERITY_PROVE_DIRECT === "1" ? process.env.OPENAI_API_KEY : void 0, toolchain: tc });
+    const deps = await onDemandDeps(root, { auth: auth3 ?? void 0, apiKey: process.env.VERITY_PROVE_DIRECT === "1" ? process.env.OPENAI_API_KEY : void 0, toolchain: tc });
     if (!opts.json) printInfo(`asking the Verity service for a model of ${symbol || `${file}:${opts.lines}`} \u2026`);
     const out2 = await generateAndCheck(root, { file, symbol: symbol || `${file}:${opts.lines}`, lines, hint: opts.hint, revise }, { deps, maxRounds: 3 });
     if (!out2.ok) {
@@ -42052,9 +42194,9 @@ ${f.reason ? `      ${terminalText(f.reason, 2e3)}
       printWarn(`No remembered formal finding on ${rel}. A finding is remembered only after a REPRODUCED replay at push.`);
       process.exit(1);
     }
-    const n = waiveFormalFindings(root, rel, opts.reason);
-    logEvent("formal_waive", { file: rel, waived: n });
-    printInfo(`Waived ${n} formal finding(s) on ${rel} for its current bytes; the waive voids when the file changes. Reason recorded: ${terminalText(opts.reason, 200)}`);
+    const n2 = waiveFormalFindings(root, rel, opts.reason);
+    logEvent("formal_waive", { file: rel, waived: n2 });
+    printInfo(`Waived ${n2} formal finding(s) on ${rel} for its current bytes; the waive voids when the file changes. Reason recorded: ${terminalText(opts.reason, 200)}`);
   });
   prove.command("hash <file>").description("Print the sha256 of a file, for a model header (Verity.model \u2026 sha256). Path is REPO-relative, as in the header").action((file) => {
     const root = repoRoot();
@@ -42177,8 +42319,8 @@ function registerLeanCommand(program2) {
 }
 
 // src/cli.ts
-program.name("verity").description("CLI for Verity quality gate service").version("0.34.2").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.2");
+program.name("verity").description("CLI for Verity quality gate service").version("0.34.3").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.3");
   setUserNamedServiceUrl(program.opts().serviceUrl);
   try {
     await foldLegacyLocalCredential();
@@ -42213,6 +42355,7 @@ registerMemoryCommand(program);
 registerRunCommand(program);
 registerMigrateCommand(program);
 registerTelemetryCommands(program);
+registerUsageCommand(program);
 registerProveCommand(program);
 registerLeanCommand(program);
 program.parseAsync().catch((err2) => {