@codacy/verity-cli 0.35.1-experimental.19ce23f → 0.35.2

package/bin/verity.js

@@ -2928,7 +2928,7 @@ Expecting one of '${allowedValues.join("', '")}'`);
        * @param {(string | Function)} text - string to add, or a function returning a string
        * @return {Command} `this` command for chaining
        */
-      addHelpText(position, text2) {
+      addHelpText(position, text3) {
         const allowedValues = ["beforeAll", "before", "after", "afterAll"];
         if (!allowedValues.includes(position)) {
           throw new Error(`Unexpected value for position to addHelpText.
@@ -2937,10 +2937,10 @@ Expecting one of '${allowedValues.join("', '")}'`);
         const helpEvent = `${position}Help`;
         this.on(helpEvent, (context) => {
           let helpStr;
-          if (typeof text2 === "function") {
-            helpStr = text2({ error: context.error, command: context.command });
+          if (typeof text3 === "function") {
+            helpStr = text3({ error: context.error, command: context.command });
           } else {
-            helpStr = text2;
+            helpStr = text3;
           }
           if (helpStr) {
             context.write(`${helpStr}
@@ -3750,13 +3750,13 @@ var require_createNode = __commonJS2({
     var defaultTagPrefix = "tag:yaml.org,2002:";
     function findTagObject(value, tagName, tags) {
       if (tagName) {
-        const match = tags.filter((t) => t.tag === tagName);
-        const tagObj = match.find((t) => !t.format) ?? match[0];
+        const match = tags.filter((t2) => t2.tag === tagName);
+        const tagObj = match.find((t2) => !t2.format) ?? match[0];
         if (!tagObj)
           throw new Error(`Tag ${tagName} not found`);
         return tagObj;
       }
-      return tags.find((t) => t.identify?.(value) && !t.format);
+      return tags.find((t2) => t2.identify?.(value) && !t2.format);
     }
     function createNode(value, tagName, ctx) {
       if (identity.isDocument(value))
@@ -3982,14 +3982,14 @@ var require_foldFlowLines = __commonJS2({
     var FOLD_FLOW = "flow";
     var FOLD_BLOCK = "block";
     var FOLD_QUOTED = "quoted";
-    function foldFlowLines(text2, indent, mode2 = "flow", { indentAtStart, lineWidth = 80, minContentWidth = 20, onFold, onOverflow } = {}) {
+    function foldFlowLines(text3, indent, mode2 = "flow", { indentAtStart, lineWidth = 80, minContentWidth = 20, onFold, onOverflow } = {}) {
       if (!lineWidth || lineWidth < 0)
-        return text2;
+        return text3;
       if (lineWidth < minContentWidth)
         minContentWidth = 0;
       const endStep = Math.max(1 + minContentWidth, 1 + lineWidth - indent.length);
-      if (text2.length <= endStep)
-        return text2;
+      if (text3.length <= endStep)
+        return text3;
       const folds = [];
       const escapedFolds = {};
       let end = lineWidth - indent.length;
@@ -4006,14 +4006,14 @@ var require_foldFlowLines = __commonJS2({
       let escStart = -1;
       let escEnd = -1;
       if (mode2 === FOLD_BLOCK) {
-        i2 = consumeMoreIndentedLines(text2, i2, indent.length);
+        i2 = consumeMoreIndentedLines(text3, i2, indent.length);
         if (i2 !== -1)
           end = i2 + endStep;
       }
-      for (let ch; ch = text2[i2 += 1]; ) {
+      for (let ch; ch = text3[i2 += 1]; ) {
         if (mode2 === FOLD_QUOTED && ch === "\\") {
           escStart = i2;
-          switch (text2[i2 + 1]) {
+          switch (text3[i2 + 1]) {
             case "x":
               i2 += 3;
               break;
@@ -4030,12 +4030,12 @@ var require_foldFlowLines = __commonJS2({
         }
         if (ch === "\n") {
           if (mode2 === FOLD_BLOCK)
-            i2 = consumeMoreIndentedLines(text2, i2, indent.length);
+            i2 = consumeMoreIndentedLines(text3, i2, indent.length);
           end = i2 + indent.length + endStep;
           split = void 0;
         } else {
           if (ch === " " && prev && prev !== " " && prev !== "\n" && prev !== "	") {
-            const next = text2[i2 + 1];
+            const next = text3[i2 + 1];
             if (next && next !== " " && next !== "\n" && next !== "	")
               split = i2;
           }
@@ -4047,12 +4047,12 @@ var require_foldFlowLines = __commonJS2({
             } else if (mode2 === FOLD_QUOTED) {
               while (prev === " " || prev === "	") {
                 prev = ch;
-                ch = text2[i2 += 1];
+                ch = text3[i2 += 1];
                 overflow = true;
               }
               const j = i2 > escEnd + 1 ? i2 - 2 : escStart - 1;
               if (escapedFolds[j])
-                return text2;
+                return text3;
               folds.push(j);
               escapedFolds[j] = true;
               end = j + endStep;
@@ -4067,39 +4067,39 @@ var require_foldFlowLines = __commonJS2({
       if (overflow && onOverflow)
         onOverflow();
       if (folds.length === 0)
-        return text2;
+        return text3;
       if (onFold)
         onFold();
-      let res = text2.slice(0, folds[0]);
+      let res = text3.slice(0, folds[0]);
       for (let i3 = 0; i3 < folds.length; ++i3) {
         const fold2 = folds[i3];
-        const end2 = folds[i3 + 1] || text2.length;
+        const end2 = folds[i3 + 1] || text3.length;
         if (fold2 === 0)
           res = `
-${indent}${text2.slice(0, end2)}`;
+${indent}${text3.slice(0, end2)}`;
         else {
           if (mode2 === FOLD_QUOTED && escapedFolds[fold2])
-            res += `${text2[fold2]}\\`;
+            res += `${text3[fold2]}\\`;
           res += `
-${indent}${text2.slice(fold2 + 1, end2)}`;
+${indent}${text3.slice(fold2 + 1, end2)}`;
         }
       }
       return res;
     }
-    function consumeMoreIndentedLines(text2, i2, indent) {
+    function consumeMoreIndentedLines(text3, i2, indent) {
       let end = i2;
       let start2 = i2 + 1;
-      let ch = text2[start2];
+      let ch = text3[start2];
       while (ch === " " || ch === "	") {
         if (i2 < start2 + indent) {
-          ch = text2[++i2];
+          ch = text3[++i2];
         } else {
           do {
-            ch = text2[++i2];
+            ch = text3[++i2];
           } while (ch && ch !== "\n");
           end = i2;
           start2 = i2 + 1;
-          ch = text2[start2];
+          ch = text3[start2];
         }
       }
       return end;
@@ -4383,10 +4383,10 @@ ${indent}`);
       let res = _stringify(type);
       if (res === null) {
         const { defaultKeyType, defaultStringType } = ctx.options;
-        const t = implicitKey && defaultKeyType || defaultStringType;
-        res = _stringify(t);
+        const t2 = implicitKey && defaultKeyType || defaultStringType;
+        res = _stringify(t2);
         if (res === null)
-          throw new Error(`Unsupported default string type ${t}`);
+          throw new Error(`Unsupported default string type ${t2}`);
       }
       return res;
     }
@@ -4446,24 +4446,24 @@ var require_stringify = __commonJS2({
     }
     function getTagObject(tags, item) {
       if (item.tag) {
-        const match = tags.filter((t) => t.tag === item.tag);
+        const match = tags.filter((t2) => t2.tag === item.tag);
         if (match.length > 0)
-          return match.find((t) => t.format === item.format) ?? match[0];
+          return match.find((t2) => t2.format === item.format) ?? match[0];
       }
       let tagObj = void 0;
       let obj;
       if (identity.isScalar(item)) {
         obj = item.value;
-        let match = tags.filter((t) => t.identify?.(obj));
+        let match = tags.filter((t2) => t2.identify?.(obj));
         if (match.length > 1) {
-          const testMatch = match.filter((t) => t.test);
+          const testMatch = match.filter((t2) => t2.test);
           if (testMatch.length > 0)
             match = testMatch;
         }
-        tagObj = match.find((t) => t.format === item.format) ?? match.find((t) => !t.format);
+        tagObj = match.find((t2) => t2.format === item.format) ?? match.find((t2) => !t2.format);
       } else {
         obj = item;
-        tagObj = tags.find((t) => t.nodeClass && obj instanceof t.nodeClass);
+        tagObj = tags.find((t2) => t2.nodeClass && obj instanceof t2.nodeClass);
       }
       if (!tagObj) {
         const name2 = obj?.constructor?.name ?? (obj === null ? "null" : typeof obj);
@@ -7389,7 +7389,7 @@ var require_compose_collection = __commonJS2({
       if (!tagToken || !tagName || tagName === "!" || tagName === YAMLMap.YAMLMap.tagName && expType === "map" || tagName === YAMLSeq.YAMLSeq.tagName && expType === "seq") {
         return resolveCollection(CN, ctx, token, onError, tagName);
       }
-      let tag = ctx.schema.tags.find((t) => t.tag === tagName && t.collection === expType);
+      let tag = ctx.schema.tags.find((t2) => t2.tag === tagName && t2.collection === expType);
       if (!tag) {
         const kt = ctx.schema.knownTags[tagName];
         if (kt?.collection === expType) {
@@ -13882,11 +13882,11 @@ ${JSON.stringify(symbolNames, null, 2)}`);
         for (const c of captures) {
           if (c.name === captureName) nodes.push(c.node.text);
         }
-        const test = /* @__PURE__ */ __name((text2, positive) => {
-          return positive ? regex.test(text2) : !regex.test(text2);
+        const test = /* @__PURE__ */ __name((text3, positive) => {
+          return positive ? regex.test(text3) : !regex.test(text3);
         }, "test");
         if (nodes.length === 0) return !isPositive;
-        return matchAll2 ? nodes.every((text2) => test(text2, isPositive)) : nodes.some((text2) => test(text2, isPositive));
+        return matchAll2 ? nodes.every((text3) => test(text3, isPositive)) : nodes.some((text3) => test(text3, isPositive));
       });
     }
     __name(parseMatchPredicate, "parseMatchPredicate");
@@ -13916,7 +13916,7 @@ ${JSON.stringify(symbolNames, null, 2)}`);
           if (c.name === captureName) nodes.push(c.node.text);
         }
         if (nodes.length === 0) return !isPositive;
-        return nodes.every((text2) => values.includes(text2)) === isPositive;
+        return nodes.every((text3) => values.includes(text3)) === isPositive;
       });
     }
     __name(parseAnyOfPredicate, "parseAnyOfPredicate");
@@ -14517,9 +14517,9 @@ function treeDir(identity) {
   return (0, import_node_path.join)(verityHome(), "sessions", identity.userKey, identity.treeKey);
 }
 function scopeIdentity(token, sessionId) {
-  const t = (token ?? "").trim();
+  const t2 = (token ?? "").trim();
   const s = (sessionId ?? "").trim();
-  const userKey = t.length > 0 ? (0, import_node_crypto.createHash)("sha256").update(t).digest("hex").slice(0, 12) : "anon";
+  const userKey = t2.length > 0 ? (0, import_node_crypto.createHash)("sha256").update(t2).digest("hex").slice(0, 12) : "anon";
   const sessionKey2 = s.length > 0 ? (0, import_node_crypto.createHash)("sha256").update(s).digest("hex").slice(0, 16) : "_default";
   return { userKey, sessionKey: sessionKey2, bucket: `${userKey}/${sessionKey2}` };
 }
@@ -14733,7 +14733,7 @@ var SECURITY_PATTERNS = [
   /(^|\/)gradle\.lockfile$/
 ];
 var PROD_SERVICE_URL = "https://ofcamwrjwrkazqvdchko.supabase.co/functions/v1";
-var DEFAULT_SERVICE_URL = "https://wukeddyzpijoegyajtnc.supabase.co/functions/v1".length > 0 ? "https://wukeddyzpijoegyajtnc.supabase.co/functions/v1" : PROD_SERVICE_URL;
+var DEFAULT_SERVICE_URL = "".length > 0 ? "" : PROD_SERVICE_URL;
 var GITHUB_CLIENT_ID = "Iv23li88HxAi3ZrbYzWh";
 var GITHUB_DEVICE_CODE_URL = "https://github.com/login/device/code";
 var GITHUB_ACCESS_TOKEN_URL = "https://github.com/login/oauth/access_token";
@@ -15325,7 +15325,7 @@ function pinRefusalMessage(verdict, targetUrl) {
 // src/lib/cli-version.ts
 function cliVersion() {
   try {
-    return true ? "0.35.1-experimental.19ce23f" : "dev";
+    return true ? "0.35.2" : "dev";
   } catch {
     return "dev";
   }
@@ -15758,14 +15758,14 @@ function clipboards(platform4, env) {
   if (env.DISPLAY) out2.push(["xclip", ["-selection", "clipboard"]], ["xsel", ["--clipboard", "--input"]]);
   return out2;
 }
-function copyToClipboard(text2, opts = {}) {
+function copyToClipboard(text3, opts = {}) {
   const env = opts.env ?? process.env;
   const platform4 = opts.platform ?? process.platform;
-  if (!/^[A-Za-z0-9-]{1,32}$/.test(text2)) return false;
+  if (!/^[A-Za-z0-9-]{1,32}$/.test(text3)) return false;
   if (env.SSH_CONNECTION || env.SSH_TTY || env.CI) return false;
   for (const [cmd, args2] of clipboards(platform4, env)) {
     try {
-      const r = (opts.run ?? import_node_child_process4.spawnSync)(cmd, args2, { input: text2, stdio: ["pipe", "ignore", "ignore"], timeout: 2e3 });
+      const r = (opts.run ?? import_node_child_process4.spawnSync)(cmd, args2, { input: text3, stdio: ["pipe", "ignore", "ignore"], timeout: 2e3 });
       if (!r.error && r.status === 0) return true;
     } catch {
     }
@@ -15835,11 +15835,11 @@ function startSpinner(label2, opts = {}) {
     },
     succeed(message) {
       finish(() => {
-        const text2 = message ?? current;
+        const text3 = message ?? current;
         const clock2 = showElapsed ? ` (${secondsSince(start2)})` : "";
         stream.write(
-          color ? `  ${GREEN2}\u2713${RESET} ${text2}${DIM2}${clock2}${RESET}
-` : `  \u2713 ${text2}${clock2}
+          color ? `  ${GREEN2}\u2713${RESET} ${text3}${DIM2}${clock2}${RESET}
+` : `  \u2713 ${text3}${clock2}
 `
         );
       });
@@ -16365,11 +16365,11 @@ function clearPendingLogin() {
 // src/lib/login-report.ts
 async function describeLoginOutcome(out2, opts = {}) {
   const lines = [];
-  const info2 = (text2) => {
-    lines.push({ level: "info", text: text2 });
+  const info2 = (text3) => {
+    lines.push({ level: "info", text: text3 });
   };
-  const warn = (text2) => {
-    lines.push({ level: "warn", text: text2 });
+  const warn = (text3) => {
+    lines.push({ level: "warn", text: text3 });
   };
   const identity = out2.email ?? (out2.userId != null ? `user #${out2.userId}` : "your account");
   info2(`Logged in as ${identity}. \u2713`);
@@ -16683,12 +16683,14 @@ function removeIfOurs(fd, path) {
   } catch {
   }
 }
-function openTarget(path, append2) {
+function openTarget(path, append2, createOnly = false) {
   const base = import_node_fs7.constants.O_WRONLY | (append2 ? import_node_fs7.constants.O_APPEND : 0) | O_NOFOLLOW;
-  try {
-    return { fd: (0, import_node_fs7.openSync)(path, base), created: false };
-  } catch (e) {
-    if (e.code !== "ENOENT") return null;
+  if (!createOnly) {
+    try {
+      return { fd: (0, import_node_fs7.openSync)(path, base), created: false };
+    } catch (e) {
+      if (e.code !== "ENOENT") return null;
+    }
   }
   try {
     return { fd: (0, import_node_fs7.openSync)(path, base | import_node_fs7.constants.O_CREAT | import_node_fs7.constants.O_EXCL, 384), created: true };
@@ -16696,13 +16698,13 @@ function openTarget(path, append2) {
     return null;
   }
 }
-function writeVerified(root, name2, hooks, append2, write) {
+function writeVerified(root, name2, hooks, append2, write, createOnly = false) {
   const r = validateRoot(root);
   if (!r || !bareName(name2)) return false;
   const path = (0, import_node_path7.join)(r.real, name2);
   if (!absentOrRegular(path)) return false;
   if (!runHook(hooks)) return false;
-  const opened = openTarget(path, append2);
+  const opened = openTarget(path, append2, createOnly);
   if (!opened) return false;
   try {
     if (!verifyOpened(opened.fd, path, r)) {
@@ -16728,17 +16730,22 @@ function runHook(hooks) {
     return false;
   }
 }
-function appendInRoot(root, name2, text2, hooks = {}) {
+function appendInRoot(root, name2, text3, hooks = {}) {
   return writeVerified(root, name2, hooks, true, (fd) => {
-    (0, import_node_fs7.writeSync)(fd, text2);
+    (0, import_node_fs7.writeSync)(fd, text3);
   });
 }
-function replaceInRoot(root, name2, text2, hooks = {}) {
+function replaceInRoot(root, name2, text3, hooks = {}) {
   return writeVerified(root, name2, hooks, false, (fd) => {
     (0, import_node_fs7.ftruncateSync)(fd, 0);
-    (0, import_node_fs7.writeSync)(fd, text2, 0);
+    (0, import_node_fs7.writeSync)(fd, text3, 0);
   });
 }
+function createInRoot(root, name2, text3, hooks = {}) {
+  return writeVerified(root, name2, hooks, false, (fd) => {
+    (0, import_node_fs7.writeSync)(fd, text3, 0);
+  }, true);
+}
 
 // src/lib/repo-file.ts
 var DEFAULT_MAX_BYTES = 512 * 1024;
@@ -16748,6 +16755,16 @@ function writeRepoFile(relative9, body2) {
     throw new Error(`refused to write ${relative9}: it, or its folder, is a link or not a regular file`);
   }
 }
+var COPY_NAMES = 10;
+function keepStandardCopy(body2, now = /* @__PURE__ */ new Date()) {
+  const stamp2 = now.toISOString().replace(/[:.]/g, "-");
+  for (let n2 = 0; n2 < COPY_NAMES; n2++) {
+    const relative9 = `${VERITY_DIR}/standard.${stamp2}${n2 === 0 ? "" : `-${n2}`}.yaml`;
+    const path = projectPath(relative9);
+    if (createInRoot((0, import_node_path8.dirname)(path), (0, import_node_path8.basename)(path), body2)) return relative9;
+  }
+  throw new Error(`refused to create ${VERITY_DIR}/standard.${stamp2}.yaml: ${VERITY_DIR} is a link or not a folder, or ${COPY_NAMES} copies with that time exist`);
+}
 function readRepoFile(relative9, maxBytes = DEFAULT_MAX_BYTES) {
   const root = repoRoot();
   if (throughLinkedFolder(root, relative9)) return null;
@@ -17321,9 +17338,9 @@ function declaredDependencies(root, files) {
   for (const path of pythonManifests) {
     if (!(0, import_node_fs10.existsSync)(path)) continue;
     try {
-      const text2 = (0, import_node_fs10.readFileSync)(path, "utf-8");
-      for (const m of text2.matchAll(/^\s*["']?([A-Za-z][A-Za-z0-9._-]+)/gm)) names2.push(m[1]);
-      for (const line2 of text2.split("\n")) {
+      const text3 = (0, import_node_fs10.readFileSync)(path, "utf-8");
+      for (const m of text3.matchAll(/^\s*["']?([A-Za-z][A-Za-z0-9._-]+)/gm)) names2.push(m[1]);
+      for (const line2 of text3.split("\n")) {
         if (!/dependencies\s*=/.test(line2)) continue;
         for (const m of line2.matchAll(/["']([A-Za-z][A-Za-z0-9._-]+)/g)) names2.push(m[1]);
       }
@@ -17337,8 +17354,8 @@ function declaredDependencies(root, files) {
   for (const path of goMods) {
     if (!(0, import_node_fs10.existsSync)(path)) continue;
     try {
-      const text2 = (0, import_node_fs10.readFileSync)(path, "utf-8");
-      for (const m of text2.matchAll(/^\s+([\w.-]+\/[\w./-]+)\s+v/gm)) {
+      const text3 = (0, import_node_fs10.readFileSync)(path, "utf-8");
+      for (const m of text3.matchAll(/^\s+([\w.-]+\/[\w./-]+)\s+v/gm)) {
         names2.push(m[1].replace(/^github\.com\//, ""));
       }
     } catch {
@@ -17348,9 +17365,9 @@ function declaredDependencies(root, files) {
     const path = (0, import_node_path10.join)(root, file);
     if (!(0, import_node_fs10.existsSync)(path)) continue;
     try {
-      const text2 = (0, import_node_fs10.readFileSync)(path, "utf-8");
-      for (const m of text2.matchAll(/["'<]([A-Za-z][A-Za-z0-9._-]{2,})["'>]/g)) names2.push(m[1]);
-      if (file === "Cargo.toml") names2.push(...cargoDependencyKeys(text2));
+      const text3 = (0, import_node_fs10.readFileSync)(path, "utf-8");
+      for (const m of text3.matchAll(/["'<]([A-Za-z][A-Za-z0-9._-]{2,})["'>]/g)) names2.push(m[1]);
+      if (file === "Cargo.toml") names2.push(...cargoDependencyKeys(text3));
     } catch {
     }
   }
@@ -17365,8 +17382,8 @@ function declaredDependencies(root, files) {
   for (const rel of composerFiles) {
     let composer = null;
     try {
-      const text2 = manifest(rel);
-      composer = text2 === null ? null : JSON.parse(text2);
+      const text3 = manifest(rel);
+      composer = text3 === null ? null : JSON.parse(text3);
     } catch {
     }
     if (!composer || typeof composer !== "object") continue;
@@ -17376,20 +17393,20 @@ function declaredDependencies(root, files) {
     }
   }
   for (const rel of files.filter((f) => /\.(cs|fs)proj$/.test(f)).slice(0, NESTED_MANIFEST_LIMIT)) {
-    const text2 = manifest(rel);
-    if (text2 === null) continue;
-    for (const m of text2.matchAll(/<PackageReference\b[^>]*?\bInclude="([A-Za-z][A-Za-z0-9._-]+)"/g)) names2.push(m[1]);
+    const text3 = manifest(rel);
+    if (text3 === null) continue;
+    for (const m of text3.matchAll(/<PackageReference\b[^>]*?\bInclude="([A-Za-z][A-Za-z0-9._-]+)"/g)) names2.push(m[1]);
   }
   for (const rel of files.filter((f) => f.includes("/") && (0, import_node_path10.basename)(f) === "Cargo.toml").slice(0, NESTED_MANIFEST_LIMIT)) {
-    const text2 = manifest(rel);
-    if (text2 !== null) names2.push(...cargoDependencyKeys(text2));
+    const text3 = manifest(rel);
+    if (text3 !== null) names2.push(...cargoDependencyKeys(text3));
   }
   return names2;
 }
-function cargoDependencyKeys(text2) {
+function cargoDependencyKeys(text3) {
   const names2 = [];
   let inDeps = false;
-  for (const raw of text2.split("\n")) {
+  for (const raw of text3.split("\n")) {
     const line2 = raw.trim();
     const header = /^\[([^\]]+)\]$/.exec(line2);
     if (header) {
@@ -17651,30 +17668,30 @@ function shipsCli(root, files) {
   };
   const candidates2 = files.filter((f) => Object.hasOwn(CLI_DECLARATION, (0, import_node_path11.basename)(f))).sort((a, b) => a.split("/").length - b.split("/").length || a.localeCompare(b));
   for (const rel of candidates2) {
-    const text2 = read2(rel);
-    if (text2 !== null && CLI_DECLARATION[(0, import_node_path11.basename)(rel)](text2)) return true;
+    const text3 = read2(rel);
+    if (text3 !== null && CLI_DECLARATION[(0, import_node_path11.basename)(rel)](text3)) return true;
   }
   return false;
 }
 var CLI_DECLARATION = {
-  "package.json": (text2) => {
+  "package.json": (text3) => {
     try {
-      const bin = JSON.parse(text2).bin;
+      const bin = JSON.parse(text3).bin;
       return typeof bin === "string" && bin.length > 0 || isRecord(bin) && Object.keys(bin).length > 0;
     } catch {
       return false;
     }
   },
-  "pyproject.toml": (text2) => /^\s*\[(project\.scripts|tool\.poetry\.scripts)\]\s*$/m.test(text2),
-  "setup.py": (text2) => /console_scripts/.test(text2),
-  "setup.cfg": (text2) => /console_scripts/.test(text2),
-  "Cargo.toml": (text2) => /^\s*\[\[bin\]\]\s*$/m.test(text2)
+  "pyproject.toml": (text3) => /^\s*\[(project\.scripts|tool\.poetry\.scripts)\]\s*$/m.test(text3),
+  "setup.py": (text3) => /console_scripts/.test(text3),
+  "setup.cfg": (text3) => /console_scripts/.test(text3),
+  "Cargo.toml": (text3) => /^\s*\[\[bin\]\]\s*$/m.test(text3)
 };
 
 // src/lib/verity-md.ts
 var UNPRINTABLE = /[\u0000-\u001f\u007f-\u009f\u2028\u2029\u202a-\u202e\u2066-\u2069]+/g;
-function markdownPlain(text2, max = 200) {
-  const oneLine2 = text2.replace(UNPRINTABLE, " ").replace(/\s+/g, " ").trim();
+function markdownPlain(text3, max = 200) {
+  const oneLine2 = text3.replace(UNPRINTABLE, " ").replace(/\s+/g, " ").trim();
   const bounded = oneLine2.length > max ? `${oneLine2.slice(0, max - 1)}\u2026` : oneLine2;
   return bounded.replace(/[\\`*_{}[\]()<>#+!|~]/g, (c) => `\\${c}`);
 }
@@ -17715,7 +17732,7 @@ function describeOrigin(origin) {
   if (origin.kind === "adopted") {
     return `adopted from the service${origin.createdBy ? `, created by ${markdownPlain(origin.createdBy, 120)}` : ""}`;
   }
-  return `derived from this codebase${origin.tools.length > 0 ? ` \xB7 ${origin.tools.map((t) => markdownPlain(t, 60)).join(", ")}` : ""}`;
+  return `derived from this codebase${origin.tools.length > 0 ? ` \xB7 ${origin.tools.map((t2) => markdownPlain(t2, 60)).join(", ")}` : ""}`;
 }
 function closingNote(origin) {
   if (origin.kind === "adopted") {
@@ -17748,7 +17765,7 @@ ${list2(dimensions, DEFAULT_DIMENSIONS)}
 ${packs.length > 0 ? `## Review Packs
 ${list2(packs, [])}
 
-The Verity service expands each pack into its patterns. To list them: \`verity standard get --resolved\`
+The Verity service expands each pack into its patterns. What each pack holds: \`verity standard catalogue <pack>\`, or https://verity.md/review-packs. What this project's review reads: \`verity standard get --resolved\`
 ` : `## Security Patterns
 ${list2(patterns, DEFAULT_SECURITY)}
 `}${custom.length > 0 ? `
@@ -18400,11 +18417,11 @@ function registerTokenCommand(program2) {
       printInfo("No tokens found for this repository.");
       return;
     }
-    for (const t of tokens) {
-      const type = t.token_type ?? "user";
-      const expires = t.expires_at ? `expires ${t.expires_at.slice(0, 10)}` : "no expiry";
-      const lastUsed = t.last_used_at ? `last used ${t.last_used_at.slice(0, 10)}` : "never used";
-      printInfo(`${t.id}  [${type}]  ${t.agent_name ?? "unnamed"}  (${expires}, ${lastUsed})`);
+    for (const t2 of tokens) {
+      const type = t2.token_type ?? "user";
+      const expires = t2.expires_at ? `expires ${t2.expires_at.slice(0, 10)}` : "no expiry";
+      const lastUsed = t2.last_used_at ? `last used ${t2.last_used_at.slice(0, 10)}` : "never used";
+      printInfo(`${t2.id}  [${type}]  ${t2.agent_name ?? "unnamed"}  (${expires}, ${lastUsed})`);
     }
   });
   token.command("revoke <id>").description("Revoke a token by id (service tokens: any current writer may revoke)").action(async (id) => {
@@ -19340,13 +19357,13 @@ function scrub(s) {
 var installed = false;
 var wroteBanner = false;
 var banner = "";
-function append(text2) {
+function append(text3) {
   try {
     const dir = projectPath(DEBUG_LOG_DIR);
     const file = projectPath(STDERR_LOG_FILE);
     (0, import_node_fs16.mkdirSync)(dir, { recursive: true });
     rotateIfNeeded(file);
-    (0, import_node_fs16.appendFileSync)(file, text2);
+    (0, import_node_fs16.appendFileSync)(file, text3);
   } catch {
   }
 }
@@ -19368,19 +19385,19 @@ function installStderrLog(cmd, argv, version) {
     const result = original(...args2);
     try {
       const chunk = args2[0];
-      const text2 = typeof chunk === "string" ? chunk : Buffer.isBuffer(chunk) ? chunk.toString("utf-8") : String(chunk);
+      const text3 = typeof chunk === "string" ? chunk : Buffer.isBuffer(chunk) ? chunk.toString("utf-8") : String(chunk);
       ensureBanner();
-      append(scrub(text2));
+      append(scrub(text3));
     } catch {
     }
     return result;
   };
   process.stderr.write = tee;
 }
-function logToFileOnly(text2) {
+function logToFileOnly(text3) {
   if (!installed) return;
   ensureBanner();
-  append(text2.endsWith("\n") ? text2 : `${text2}
+  append(text3.endsWith("\n") ? text3 : `${text3}
 `);
 }
 
@@ -19954,8 +19971,8 @@ var import_promises5 = require("node:fs/promises");
 var import_node_fs19 = require("node:fs");
 var import_node_child_process8 = require("node:child_process");
 var import_node_crypto2 = require("node:crypto");
-function stripImageReferences(text2) {
-  return text2.replace(/\[Image #\d+\]/g, "[screenshot \u2014 not available for review]");
+function stripImageReferences(text3) {
+  return text3.replace(/\[Image #\d+\]/g, "[screenshot \u2014 not available for review]");
 }
 function bufferTmpPath() {
   return `${CONVERSATION_BUFFER_FILE}.${process.pid}.${(0, import_node_crypto2.randomBytes)(4).toString("hex")}.tmp`;
@@ -20192,7 +20209,7 @@ function isNonAuthoringCommand(cmd) {
 function hasNonEditAuthorship(actionSummary, sessionAuthoredCode) {
   if (!actionSummary) return sessionAuthoredCode;
   if ((actionSummary.subagents ?? 0) > 0) return true;
-  if (Object.keys(actionSummary.tool_counts ?? {}).some((t) => t.startsWith("mcp__"))) return true;
+  if (Object.keys(actionSummary.tool_counts ?? {}).some((t2) => t2.startsWith("mcp__"))) return true;
   const commands = actionSummary.commands ?? [];
   if (commands.some((c) => FILE_MUTATE_RE.test(c))) return true;
   if (sessionAuthoredCode) {
@@ -20221,7 +20238,7 @@ function narrowToAgentAuthored(files, actionSummary) {
   if (touched.length === 0) return files;
   return files.filter((f) => {
     const suffix = "/" + f;
-    return touched.some((t) => t === f || t.endsWith(suffix));
+    return touched.some((t2) => t2 === f || t2.endsWith(suffix));
   });
 }
 
@@ -20731,9 +20748,9 @@ var STOPWORDS = /* @__PURE__ */ new Set([
   "within",
   "without"
 ]);
-function tokenize(text2) {
+function tokenize(text3) {
   return new Set(
-    text2.toLowerCase().replace(/[^a-z0-9\s]/g, " ").split(/\s+/).filter((w) => w.length > 2 && !STOPWORDS.has(w))
+    text3.toLowerCase().replace(/[^a-z0-9\s]/g, " ").split(/\s+/).filter((w) => w.length > 2 && !STOPWORDS.has(w))
   );
 }
 function jaccardKeywords(a, b) {
@@ -20750,9 +20767,9 @@ function relevance(node, ctx) {
   if (nodeTags.length > 0 && ctx.changeTags && ctx.changeTags.length > 0) {
     const change = new Set(ctx.changeTags);
     let hit = 0;
-    for (const t of nodeTags) {
-      if (!change.has(t)) continue;
-      hit += t.startsWith("pkg:") || t.startsWith("tbl:") ? 1 : t.startsWith("sym:") ? 0.8 : t.startsWith("dir:") ? 0.4 : 0.15;
+    for (const t2 of nodeTags) {
+      if (!change.has(t2)) continue;
+      hit += t2.startsWith("pkg:") || t2.startsWith("tbl:") ? 1 : t2.startsWith("sym:") ? 0.8 : t2.startsWith("dir:") ? 0.4 : 0.15;
     }
     tagScore = Math.min(1, hit / TAG_SATURATION);
   }
@@ -20810,9 +20827,9 @@ var MAX_BUDGET_TOKENS = 4e3;
 var MAX_NODE_FILE_BYTES = 64 * 1024;
 var MIN_SCORE = RELEVANCE_FLOOR * 0.5;
 var ORG_MIN_SHARED_TERMS = 2;
-function orgTerms(text2) {
+function orgTerms(text3) {
   return new Set(
-    text2.toLowerCase().replace(/[^a-z0-9\s]/g, " ").split(/\s+/).filter((w) => w.length > 2)
+    text3.toLowerCase().replace(/[^a-z0-9\s]/g, " ").split(/\s+/).filter((w) => w.length > 2)
   );
 }
 function sharedTerms(a, b) {
@@ -21171,12 +21188,12 @@ function ensureVerityGitignore() {
     if (hasSupersededMemory && !memoryIsCommitted) {
       next = fenceMemoryLines(next);
     }
-    let text2 = next.join("\n");
+    let text3 = next.join("\n");
     if (!hasMarker) {
-      const sep7 = text2 === "" ? "" : text2.endsWith("\n") ? "\n" : "\n\n";
-      text2 = text2 + sep7 + VERITY_GITIGNORE_BLOCK;
+      const sep7 = text3 === "" ? "" : text3.endsWith("\n") ? "\n" : "\n\n";
+      text3 = text3 + sep7 + VERITY_GITIGNORE_BLOCK;
     }
-    if (text2 !== content) (0, import_node_fs24.writeFileSync)(".gitignore", text2);
+    if (text3 !== content) (0, import_node_fs24.writeFileSync)(".gitignore", text3);
     return verified(
       memoryIsCommitted ? "memory-tracked" : hasSupersededMemory ? "memory-fenced" : needsRepair ? "repaired" : "added"
     );
@@ -21202,13 +21219,13 @@ function writeFencedBlock() {
   const hasMarker = content.includes(VERITY_GITIGNORE_MARKER);
   let lines = content.split("\n").map((l) => BREAKING_ENTRIES.has(l.trim()) ? ".verity/*" : l);
   lines = fenceMemoryLines(lines);
-  let text2 = lines.join("\n");
+  let text3 = lines.join("\n");
   if (!hasMarker) {
-    const sep7 = text2 === "" ? "" : text2.endsWith("\n") ? "\n" : "\n\n";
-    text2 = text2 + sep7 + VERITY_GITIGNORE_BLOCK;
+    const sep7 = text3 === "" ? "" : text3.endsWith("\n") ? "\n" : "\n\n";
+    text3 = text3 + sep7 + VERITY_GITIGNORE_BLOCK;
   }
   try {
-    (0, import_node_fs24.writeFileSync)(".gitignore", text2);
+    (0, import_node_fs24.writeFileSync)(".gitignore", text3);
     return true;
   } catch {
     return false;
@@ -22234,26 +22251,26 @@ var CLAUDE_MD_PROSE_LEGACY = [
   "superseded \u2014 ignore them unless investigating history."
 ].join("\n");
 var PRESERVE_PLACEHOLDER = "<!-- Add binding, hand-curated guidance here; it survives Verity regeneration. -->";
-function* scanLines(text2) {
+function* scanLines(text3) {
   let offset = 0;
   let inFence = false;
-  for (const line2 of text2.split("\n")) {
+  for (const line2 of text3.split("\n")) {
     const isFence = /^(`{3,}|~{3,})/.test(line2.trim());
     if (isFence) inFence = !inFence;
     yield { line: line2, start: offset, inFence: inFence || isFence };
     offset += line2.length + 1;
   }
 }
-function findMarker(text2, marker, from = 0) {
-  for (const { line: line2, start: start2, inFence } of scanLines(text2)) {
+function findMarker(text3, marker, from = 0) {
+  for (const { line: line2, start: start2, inFence } of scanLines(text3)) {
     if (!inFence && start2 >= from && line2.startsWith(marker)) {
       return start2;
     }
   }
   return -1;
 }
-function hasLegacyMemoryBlock(text2) {
-  return findMarker(text2, LEGACY_MD_START) !== -1;
+function hasLegacyMemoryBlock(text3) {
+  return findMarker(text3, LEGACY_MD_START) !== -1;
 }
 async function ensureClaudeMdPointer(cwd = repoRoot()) {
   const claudeMdPath = (0, import_node_path23.join)(cwd, "CLAUDE.md");
@@ -22454,10 +22471,10 @@ var STOP = /* @__PURE__ */ new Set([
   "verify",
   "check"
 ]);
-function pendingTokens(text2) {
-  if (!text2 || typeof text2 !== "string") return [];
+function pendingTokens(text3) {
+  if (!text3 || typeof text3 !== "string") return [];
   const out2 = /* @__PURE__ */ new Set();
-  for (const raw of text2.toLowerCase().split(/[^a-z0-9]+/)) {
+  for (const raw of text3.toLowerCase().split(/[^a-z0-9]+/)) {
     if (raw.length <= 3) continue;
     if (STOP.has(raw)) continue;
     out2.add(raw);
@@ -22469,11 +22486,11 @@ function overlapCoefficient(a, b) {
   if (a.length === 0 || b.length === 0) return 0;
   const setB = new Set(b);
   let shared = 0;
-  for (const t of a) if (setB.has(t)) shared++;
+  for (const t2 of a) if (setB.has(t2)) shared++;
   return shared / Math.min(a.length, b.length);
 }
-function isRepeatOfAny(text2, priorFingerprints, threshold = REPEAT_THRESHOLD) {
-  const tokens = pendingTokens(text2);
+function isRepeatOfAny(text3, priorFingerprints, threshold = REPEAT_THRESHOLD) {
+  const tokens = pendingTokens(text3);
   if (tokens.length === 0) return false;
   return priorFingerprints.some((prior) => overlapCoefficient(tokens, prior) >= threshold);
 }
@@ -22519,13 +22536,13 @@ var import_node_crypto6 = require("node:crypto");
 var import_node_fs27 = require("node:fs");
 var import_node_path24 = require("node:path");
 var CRC_TABLE = (() => {
-  const t = new Int32Array(256);
+  const t2 = new Int32Array(256);
   for (let i2 = 0; i2 < 256; i2++) {
     let c = i2;
     for (let k = 0; k < 8; k++) c = c & 1 ? 3988292384 ^ c >>> 1 : c >>> 1;
-    t[i2] = c;
+    t2[i2] = c;
   }
-  return t;
+  return t2;
 })();
 function crc32(s) {
   let c = -1;
@@ -22550,8 +22567,8 @@ function openDossier(identity) {
 }
 var lastSeq = 0;
 function nextSeq() {
-  const t = Date.now() * 1e3;
-  lastSeq = t > lastSeq ? t : lastSeq + 1;
+  const t2 = Date.now() * 1e3;
+  lastSeq = t2 > lastSeq ? t2 : lastSeq + 1;
   return lastSeq;
 }
 function encodeEvent(ev) {
@@ -22996,7 +23013,7 @@ function expandState(raw) {
     const g = raw.g;
     const a = raw.a;
     const n2 = raw.n;
-    const t = raw.t;
+    const t2 = raw.t;
     const c = raw.c;
     const dv = raw.d;
     const m = raw.m;
@@ -23047,7 +23064,7 @@ function expandState(raw) {
         at: iso(x[2]),
         head_sha: x[3]
       })) ?? null,
-      statements: t.map((x) => ({
+      statements: t2.map((x) => ({
         anchor_key: x[0],
         file: x[1],
         line: x[2],
@@ -23163,8 +23180,8 @@ function assessContinuity(i2) {
 // src/lib/dossier/reanchor.ts
 var import_node_crypto8 = require("node:crypto");
 var import_node_fs30 = require("node:fs");
-function lineSha(text2) {
-  return (0, import_node_crypto8.createHash)("sha256").update(text2.trim()).digest("hex").slice(0, HASH_WIDTH);
+function lineSha(text3) {
+  return (0, import_node_crypto8.createHash)("sha256").update(text3.trim()).digest("hex").slice(0, HASH_WIDTH);
 }
 function fileHash(path) {
   try {
@@ -23637,20 +23654,20 @@ function recordGoal(d, prompt, source2 = "prompt") {
     appendEvent(d, { k: "goal_continue", text: prompt.slice(0, 64) });
     return;
   }
-  const text2 = prompt.slice(0, MAX_GOAL_CHARS);
+  const text3 = prompt.slice(0, MAX_GOAL_CHARS);
   appendEvent(d, {
     k: "goal",
-    text: text2,
+    text: text3,
     text_len: prompt.length,
     source: source2,
     ...prompt.length > MAX_GOAL_CHARS && { truncated: true }
   });
 }
-function recordTurn(d, t) {
+function recordTurn(d, t2) {
   const root = repoRoot();
-  for (const a of t.authored) {
+  for (const a of t2.authored) {
     const origin = a.owner === "subagent" ? "subagent" : "edit_tool";
-    const prior = t.known?.authored?.get(a.p);
+    const prior = t2.known?.authored?.get(a.p);
     const hash = fileHash((0, import_node_path26.join)(root, a.p));
     const hunks = Math.max(0, a.h - (prior?.hunks ?? 0));
     const adds = Math.max(0, a.a - (prior?.adds ?? 0));
@@ -23658,7 +23675,7 @@ function recordTurn(d, t) {
     if (prior && hunks === 0 && adds === 0 && dels === 0 && prior.hash_now === hash) continue;
     appendEvent(d, { k: "authored", path: a.p, origin, adds, dels, hunks, hash_now: hash });
   }
-  for (const c of t.commands) {
+  for (const c of t2.commands) {
     appendEvent(d, {
       k: "command",
       cls: normaliseClass(c.class),
@@ -23671,20 +23688,20 @@ function recordTurn(d, t) {
     });
   }
   const head = getCurrentCommit();
-  for (const p of t.dirtyAtStart ?? []) {
+  for (const p of t2.dirtyAtStart ?? []) {
     appendEvent(d, { k: "not_mine", path: p, reason: "dirty_at_start", head_sha: head });
   }
-  for (const p of t.foreign ?? []) {
+  for (const p of t2.foreign ?? []) {
     appendEvent(d, { k: "not_mine", path: p, reason: "other_session", head_sha: head });
   }
-  for (const u of t.unobserved) {
+  for (const u of t2.unobserved) {
     if (isGeneratedPath(u.p)) {
       appendEvent(d, { k: "not_mine", path: u.p, reason: "generated", head_sha: head });
     }
   }
-  const seenDivergence = t.known?.divergence ?? /* @__PURE__ */ new Set();
+  const seenDivergence = t2.known?.divergence ?? /* @__PURE__ */ new Set();
   const fresh = [];
-  for (const u of t.unobserved) {
+  for (const u of t2.unobserved) {
     const hash = fileHash((0, import_node_path26.join)(root, u.p));
     const key = divergenceKey(u.p, hash);
     const digest = packedDivergenceDigest(key);
@@ -23701,13 +23718,13 @@ function recordTurn(d, t) {
       appendEvent(d, { k: "divergence", kind: "external_mutation", path: f.path, hash: f.hash });
     }
   }
-  const newCompactions = (t.compactions ?? 0) - (t.known?.compactions ?? 0);
+  const newCompactions = (t2.compactions ?? 0) - (t2.known?.compactions ?? 0);
   for (let i2 = 0; i2 < newCompactions; i2++) {
     appendEvent(d, { k: "mark", kind: "compaction", from: null, to: null });
   }
-  const known = t.known?.branch ?? null;
-  if (known && t.branch && known !== t.branch) {
-    appendEvent(d, { k: "mark", kind: "branch_switch", from: known, to: t.branch });
+  const known = t2.known?.branch ?? null;
+  if (known && t2.branch && known !== t2.branch) {
+    appendEvent(d, { k: "mark", kind: "branch_switch", from: known, to: t2.branch });
   }
 }
 function normaliseClass(cls) {
@@ -23772,7 +23789,7 @@ function recordVerdict(d, v) {
     // actually spoke — a silenced turn delivered nothing, so nothing was "said
     // before" and labelling the next turn's items as repeats would be a lie.
     ...v.emitted === true && v.pendingTexts && v.pendingTexts.length > 0 && {
-      pending_sigs: v.pendingTexts.slice(0, 8).map((t) => pendingTokens(t).slice(0, 16))
+      pending_sigs: v.pendingTexts.slice(0, 8).map((t2) => pendingTokens(t2).slice(0, 16))
     },
     emitted: v.emitted === true,
     idle: v.idle !== false,
@@ -24580,8 +24597,8 @@ function buildCompactionContext(session) {
       `${r.projection.fold.refused} earlier finding(s) were dropped because the code they pointed at no longer matches. They are resolved; do not revisit them.`
     );
   }
-  const text2 = lines.join("\n");
-  if (text2.length <= MAX_CHARS) return text2;
+  const text3 = lines.join("\n");
+  if (text3.length <= MAX_CHARS) return text3;
   const trimmed = [...lines.slice(0, 5), ...lines.slice(5, 5 + 2)].join("\n");
   return trimmed.length <= MAX_CHARS ? trimmed : null;
 }
@@ -24647,7 +24664,7 @@ async function readHookStdin() {
 // src/commands/standard.ts
 var import_node_fs38 = require("node:fs");
 var import_node_path31 = require("node:path");
-var import_yaml7 = __toESM2(require_dist());
+var import_yaml8 = __toESM2(require_dist());
 
 // src/lib/synthesize.ts
 var import_node_fs36 = require("node:fs");
@@ -24858,14 +24875,14 @@ function trackedSourceFiles(root, opts = {}) {
   return files.slice(0, opts.maxFiles ?? 5e3);
 }
 var EFFECT_LINE = /\bawait\b|\basync\s+with\b|\.then\(|\bsetTimeout\(|\bsetInterval\(|\bwith\s+\w[\w.]*\.(?:lock|acquire)\b|\bLock\(\)/;
-function countEffects(text2) {
+function countEffects(text3) {
   let n2 = 0;
-  for (const line2 of text2.split("\n")) if (EFFECT_LINE.test(line2)) n2++;
+  for (const line2 of text3.split("\n")) if (EFFECT_LINE.test(line2)) n2++;
   return n2;
 }
-function scanRisk(text2) {
+function scanRisk(text3) {
   const counts = Object.fromEntries(RISK_PATTERNS.map(([c]) => [c, 0]));
-  for (const line2 of text2.split("\n")) {
+  for (const line2 of text3.split("\n")) {
     for (const [category, re] of RISK_PATTERNS) {
       if (re.test(line2)) counts[category]++;
     }
@@ -24961,14 +24978,14 @@ var SECRET_PATTERNS = [
 var EMAIL = /\b[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\.[A-Za-z]{2,}\b/g;
 var URL_CREDENTIALS = /\b([a-z][a-z0-9+.-]*:\/\/)[^\s/:@]+:[^\s/@]+@/gi;
 var CONTROL3 = /[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f\u2028-\u202e\u2066-\u2069]/g;
-function redact(text2) {
-  let out2 = text2.replace(CONTROL3, "");
+function redact(text3) {
+  let out2 = text3.replace(CONTROL3, "");
   for (const re of SECRET_PATTERNS) out2 = out2.replace(re, "[redacted]");
   out2 = out2.replace(URL_CREDENTIALS, "$1[redacted]@");
   return out2.replace(EMAIL, "[email]");
 }
-function oneLine(text2, max) {
-  return redact(text2.replace(/[\r\n\t]+/g, " ")).trim().slice(0, max);
+function oneLine(text3, max) {
+  return redact(text3.replace(/[\r\n\t]+/g, " ")).trim().slice(0, max);
 }
 function safePath(p) {
   if (!p || p.length > PATH_MAX || p.startsWith("/") || p.includes("\\")) return null;
@@ -25010,11 +25027,11 @@ function indentWidth(line2) {
   }
   return w;
 }
-function stripCode(text2) {
+function stripCode(text3) {
   const out2 = [];
   let fence = null;
   let underItem = false;
-  for (const line2 of text2.split("\n")) {
+  for (const line2 of text3.split("\n")) {
     const body2 = line2.replace(QUOTE, "");
     if (fence) {
       const close = FENCE_CLOSE.exec(body2);
@@ -25042,27 +25059,27 @@ function stripCode(text2) {
   return out2.join("\n");
 }
 function docText(raw) {
-  let text2 = raw;
-  const start2 = text2.indexOf(MANAGED_START);
-  const end = start2 >= 0 ? text2.indexOf(MANAGED_END, start2) : -1;
+  let text3 = raw;
+  const start2 = text3.indexOf(MANAGED_START);
+  const end = start2 >= 0 ? text3.indexOf(MANAGED_END, start2) : -1;
   if (start2 >= 0 && end > start2) {
-    const block = text2.slice(start2, end);
+    const block = text3.slice(start2, end);
     const ps = block.indexOf(PRESERVE_START2);
     const pe = ps >= 0 ? block.indexOf(PRESERVE_END2, ps) : -1;
     const kept = ps >= 0 && pe > ps ? block.slice(ps + PRESERVE_START2.length, pe) : "";
-    text2 = text2.slice(0, start2) + kept + text2.slice(end + MANAGED_END.length);
+    text3 = text3.slice(0, start2) + kept + text3.slice(end + MANAGED_END.length);
   }
-  text2 = stripCode(text2.replace(/<!--[\s\S]*?-->/g, "").replace(/<!--[\s\S]*$/, "")).replace(/\n{3,}/g, "\n\n");
-  return redact(text2).trim();
+  text3 = stripCode(text3.replace(/<!--[\s\S]*?-->/g, "").replace(/<!--[\s\S]*$/, "")).replace(/\n{3,}/g, "\n\n");
+  return redact(text3).trim();
 }
 var RULE_TITLE = /convention|pattern|rule|gotcha|footgun|pitfall|best practice|guideline|principle|standard|style|architecture|design|security|database|migration|schema|\bapi\b|error|state|naming|structure|i18n|internationali[sz]|translation|important|critical|warning|do not|don't|never|must|avoid/i;
 var SETUP_TITLE = /setup|set up|install|getting started|quick ?start|command|script|\bci\b|release|deploy|reference|link|troubleshoot|licen[cs]e|faq|contact|support|changelog|prerequisite|environment|on the web|cloud|skill|documentation/i;
 var NORMATIVE = /\b(must|never|always|do not|don't|should|shouldn't|avoid|prefer|required|only|instead of|make sure|ensure)\b/i;
-function docSections(text2) {
+function docSections(text3) {
   const out2 = [];
   const open = [];
   let current = { order: 0, heading: null, path: "", parents: [], lines: [] };
-  for (const line2 of text2.split("\n")) {
+  for (const line2 of text3.split("\n")) {
     const m = /^(#{1,6})\s+(.*)$/.exec(line2);
     if (!m) {
       current.lines.push(line2);
@@ -25084,9 +25101,9 @@ function sectionRank(s) {
   const title = rule && !setup ? 2 : setup && !rule ? 0 : 1;
   return title * 1e3 + Math.min(999, s.lines.filter((l) => NORMATIVE.test(l)).length);
 }
-function fitDoc(text2, budget) {
-  if (utf8(text2) <= budget) return text2;
-  const all = docSections(text2);
+function fitDoc(text3, budget) {
+  if (utf8(text3) <= budget) return text3;
+  const all = docSections(text3);
   const lineBytes = (line2) => utf8(line2) + 1;
   const GAP = lineBytes("\u2026");
   const chosen = /* @__PURE__ */ new Map();
@@ -25127,14 +25144,14 @@ function fitDoc(text2, budget) {
   }
   return cutToBytes(out2.join("\n").replace(/\n{3,}/g, "\n\n").trim(), budget);
 }
-function utf8(text2) {
-  return Buffer.byteLength(text2, "utf8");
+function utf8(text3) {
+  return Buffer.byteLength(text3, "utf8");
 }
-function cutToBytes(text2, max) {
-  if (utf8(text2) <= max) return text2;
+function cutToBytes(text3, max) {
+  if (utf8(text3) <= max) return text3;
   let out2 = "";
   let n2 = 0;
-  for (const ch of text2) {
+  for (const ch of text3) {
     const b = utf8(ch);
     if (n2 + b > max) break;
     out2 += ch;
@@ -25161,11 +25178,11 @@ function readDocs(root, files) {
     const read2 = readRegularFileInRoot(root, name2, 256 * 1024);
     if (!read2.ok) continue;
     const fresh = docText(read2.content).split("\n").filter((l) => /^#{1,6}\s/.test(l) || normal(l).length < 25 || !sent.has(normal(l))).join("\n");
-    const text2 = fitDoc(fresh, room);
-    if (!text2) continue;
-    for (const l of text2.split("\n")) if (normal(l).length >= 25) sent.add(normal(l));
-    total += utf8(text2);
-    out2.push({ name: name2, text: text2 });
+    const text3 = fitDoc(fresh, room);
+    if (!text3) continue;
+    for (const l of text3.split("\n")) if (normal(l).length >= 25) sent.add(normal(l));
+    total += utf8(text3);
+    out2.push({ name: name2, text: text3 });
   }
   return out2;
 }
@@ -25633,8 +25650,8 @@ async function writeSetupState(patch) {
     } catch {
     }
   }
-  const text2 = JSON.stringify(next, null, raw !== null ? detectJsonIndent(raw) : 2) + "\n";
-  if (!replaceInRoot(projectPath(VERITY_DIR), "setup.json", text2)) {
+  const text3 = JSON.stringify(next, null, raw !== null ? detectJsonIndent(raw) : 2) + "\n";
+  if (!replaceInRoot(projectPath(VERITY_DIR), "setup.json", text3)) {
     throw new Error(`Could not write ${SETUP_STATE_FILE}: it is a link, or ${VERITY_DIR} is not a folder of this repository`);
   }
   return next;
@@ -25786,9 +25803,8 @@ async function pullStandard(globals, opts = {}) {
     if (local && typeof local === "object" && !Array.isArray(local) && sameStandard(local, remote.standard.content)) {
       return { status: "same", version };
     }
-    backup = `.verity/standard.${(/* @__PURE__ */ new Date()).toISOString().replace(/[:.]/g, "-")}.yaml`;
     try {
-      writeRepoFile(backup, raw);
+      backup = keepStandardCopy(raw);
     } catch (err2) {
       return { status: "failed", message: `Could not keep a copy of ${STANDARD_FILE} (${terminalText(err2 instanceof Error ? err2.message : String(err2), 200)}), so it was not replaced. Nothing changed.` };
     }
@@ -25823,6 +25839,174 @@ async function runPull(globals) {
   for (const note of r.notes) printWarn(terminalText(note, 300));
 }
 
+// src/commands/standard-catalogue.ts
+var import_yaml7 = __toESM2(require_dist());
+var PAGE = "verity.md/review-packs";
+var t = (v, max = 300) => terminalText(typeof v === "string" ? v : String(v ?? ""), max);
+function extendedPacks(yamlText) {
+  if (!yamlText) return /* @__PURE__ */ new Set();
+  try {
+    const doc = (0, import_yaml7.parse)(yamlText);
+    if (!Array.isArray(doc?.extends)) return /* @__PURE__ */ new Set();
+    return new Set(doc.extends.filter((e) => typeof e === "string").map((e) => e.replace(/^verity\//, "").replace(/@.*$/, "")));
+  } catch {
+    return /* @__PURE__ */ new Set();
+  }
+}
+function whenText(pack) {
+  if (pack.always) return "always on";
+  const items = pack.when?.any ?? pack.when?.all;
+  if (!items || items.length === 0) return "add it by hand";
+  const list2 = (label2, v) => `${label2} ${v.slice(0, 4).join(", ")}${v.length > 4 ? `, +${v.length - 4} more` : ""}`;
+  const parts2 = items.map((s) => {
+    if (s.bin) return "the repository ships a CLI";
+    if (s.language) return list2("languages", s.language);
+    if (s.framework) return list2("frameworks", s.framework);
+    if (s.dep) return list2("dependencies", s.dep);
+    if (s.path) return list2("paths", s.path);
+    return "another signal";
+  });
+  return `when ${parts2.join(pack.when?.all ? " and " : " or ")}`;
+}
+function renderPackList(c, extended) {
+  const width = Math.max(...c.packs.map((p) => p.ref.length));
+  const lines = [`Review packs (catalogue ${t(c.catalogue_version, 40)}). The full catalogue: ${PAGE}`];
+  for (const p of c.packs) {
+    const mark = extended.has(p.id) ? "\u2713" : " ";
+    const n2 = `${p.rules.length} rule${p.rules.length === 1 ? "" : "s"}`;
+    lines.push(`  ${mark} ${t(p.ref, 60).padEnd(width)}  ${n2.padStart(8)}  ${t(whenText(p), 200)}`);
+  }
+  if (extended.size > 0) lines.push(`\u2713 = in "extends" in ${STANDARD_FILE}`);
+  lines.push("The rules of one pack: verity standard catalogue <pack>");
+  return lines;
+}
+function renderPack(p, extended) {
+  const head = `${t(p.ref, 60)}: ${t(p.title, 60)} (${p.rules.length} rule${p.rules.length === 1 ? "" : "s"}, ${t(whenText(p), 200)})${extended.has(p.id) ? ". This project extends it." : ""}`;
+  const lines = [head, `  ${t(p.summary, 400)}`];
+  for (const r of p.rules) {
+    const refs = [...r.maps_to.cwe ?? [], ...r.maps_to.owasp ?? [], ...r.maps_to.owasp_api ?? [], ...r.maps_to.owasp_llm ?? []];
+    lines.push("");
+    lines.push(`  ${t(r.id, 80)}  ${t(r.severity, 10)}  ${t(r.category, 20)}  ${t(r.title, 120)}${refs.length ? `  [${t(refs.slice(0, 4).join(", "), 120)}]` : ""}`);
+    lines.push(`    ${t(r.rule, 600)}`);
+    if (!r.reviewed_in_diff) lines.push("    Not given to the diff reviewer yet: it is seen in commands or the session, not in the code change.");
+    if (r.also_in.length) lines.push(`    Also in: ${t(r.also_in.join(", "), 200)}`);
+  }
+  lines.push("");
+  lines.push(`Turn one rule off in ${STANDARD_FILE}: overrides: { <rule-id>: off }, then verity standard push. Examples: ${PAGE}#${t(p.id, 40)}`);
+  return lines;
+}
+var LIMITS2 = { packs: 32, rules: 200, list: 200, id: 120, text: 8e3, item: 200 };
+var text = (v, max = LIMITS2.text) => typeof v === "string" && v.length <= max;
+var strings = (v) => Array.isArray(v) && v.length <= LIMITS2.list && v.every((x) => text(x, LIMITS2.item));
+var optionalStrings = (v) => v === void 0 || strings(v);
+var isObject = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+function isSignal(v) {
+  if (!isObject(v)) return false;
+  const keys = Object.keys(v);
+  if (keys.length !== 1) return false;
+  const [k] = keys;
+  if (k === "bin") return v.bin === true;
+  return ["language", "framework", "dep", "path"].includes(k) && strings(v[k]);
+}
+function isWhen(v) {
+  if (v === null) return true;
+  if (!isObject(v)) return false;
+  const keys = Object.keys(v);
+  if (keys.length !== 1 || keys[0] !== "any" && keys[0] !== "all") return false;
+  const items = v[keys[0]];
+  return Array.isArray(items) && items.length <= LIMITS2.list && items.every(isSignal);
+}
+function isRule(v) {
+  if (!isObject(v)) return false;
+  const m = v.maps_to;
+  return text(v.id, LIMITS2.id) && text(v.severity, LIMITS2.id) && text(v.category, LIMITS2.id) && text(v.title, LIMITS2.item) && text(v.rule) && text(v.evidence_required) && typeof v.reviewed_in_diff === "boolean" && strings(v.also_in) && isObject(m) && ["cwe", "owasp", "owasp_api", "owasp_llm"].every((k) => optionalStrings(m[k]));
+}
+function isPack(v) {
+  if (!isObject(v)) return false;
+  return text(v.id, LIMITS2.id) && text(v.ref, LIMITS2.id) && text(v.title, LIMITS2.item) && text(v.summary) && typeof v.always === "boolean" && isWhen(v.when) && Array.isArray(v.rules) && v.rules.length <= LIMITS2.rules && v.rules.every(isRule);
+}
+var copyStrings = (v) => [...v];
+function copyRule(v) {
+  const m = v.maps_to;
+  const maps = {};
+  for (const k of ["cwe", "owasp", "owasp_api", "owasp_llm"]) if (m[k] !== void 0) maps[k] = copyStrings(m[k]);
+  return {
+    id: v.id,
+    title: v.title,
+    rule: v.rule,
+    evidence_required: v.evidence_required,
+    category: v.category,
+    severity: v.severity,
+    reviewed_in_diff: v.reviewed_in_diff,
+    maps_to: maps,
+    also_in: copyStrings(v.also_in)
+  };
+}
+function copyWhen(v) {
+  if (v === null) return null;
+  const w = v;
+  const key = "any" in w ? "any" : "all";
+  const signals = w[key].map((s) => {
+    const [k, val] = Object.entries(s)[0];
+    return k === "bin" ? { bin: true } : { [k]: copyStrings(val) };
+  });
+  return key === "any" ? { any: signals } : { all: signals };
+}
+function asCatalogue(v) {
+  if (!isObject(v) || !text(v.catalogue_version, LIMITS2.id) || !Array.isArray(v.packs) || v.packs.length > LIMITS2.packs || !v.packs.every(isPack)) return null;
+  return {
+    catalogue_version: v.catalogue_version,
+    packs: v.packs.map((p) => ({
+      id: p.id,
+      ref: p.ref,
+      title: p.title,
+      summary: p.summary,
+      always: p.always,
+      when: copyWhen(p.when),
+      rules: p.rules.map(copyRule)
+    }))
+  };
+}
+async function runCatalogue(globals, pack, opts) {
+  const url = await resolveServiceUrl(globals.serviceUrl);
+  if (!url.ok) {
+    printError(t(url.error));
+    process.exit(1);
+  }
+  const res = await apiRequest({
+    method: "GET",
+    path: "/standards/catalogue/packs",
+    serviceUrl: url.data,
+    verbose: globals.verbose,
+    cmd: "standard catalogue",
+    withoutRemote: true,
+    timeout: 15e3
+  });
+  if (!res.ok) {
+    printError(`Could not read the review-pack catalogue from the Verity service: ${t(res.error)}. See ${PAGE}`);
+    process.exit(1);
+  }
+  const catalogue = asCatalogue(res.data);
+  if (!catalogue) {
+    printError(`The Verity service answered with something that is not a review-pack catalogue. See ${PAGE}`);
+    process.exit(1);
+  }
+  const extended = extendedPacks(readRepoFile(STANDARD_FILE));
+  if (pack === void 0) {
+    if (opts.json) printJson(catalogue);
+    else for (const line2 of renderPackList(catalogue, extended)) printInfo(line2);
+    return;
+  }
+  const id = pack.replace(/^verity\//, "").replace(/@.*$/, "");
+  const found = catalogue.packs.find((p) => p.id === id);
+  if (!found) {
+    printError(`No review pack named "${t(pack, 60)}". The packs: ${t(catalogue.packs.map((p) => p.id).join(", "), 300)}.`);
+    process.exit(1);
+  }
+  if (opts.json) printJson(found);
+  else for (const line2 of renderPack(found, extended)) printInfo(line2);
+}
+
 // src/commands/standard.ts
 function registerStandardCommands(program2) {
   const standard = program2.command("standard").description("Manage the project Standard");
@@ -25860,6 +26044,7 @@ function registerStandardCommands(program2) {
   });
   standard.command("generate").description("Have Verity write project-specific rules from a profile of this repository (asks before sending it)").option("--yes", `Send the profile without asking (you have read ${PROFILE_FILE})`).option("--status", "Print whether the service writes project rules for this project: on, off, unsupported or unknown. Sends nothing.").action((opts) => runGenerate(program2.opts(), opts));
   standard.command("pull").description("Write the team's Standard on the service into .verity/standard.yaml (keeps a copy of yours)").action(() => runPull(program2.opts()));
+  standard.command("catalogue [pack]").description("What each review pack holds: every pack, or the rules of one (core, api, data, \u2026)").option("--json", "Print the catalogue as JSON").action((pack, opts) => runCatalogue(program2.opts(), pack, opts));
   standard.command("push").description("Upload the project Standard to the service").option("--file <path>", "Path to standard YAML file", STANDARD_FILE).option("--created-by <name>", "Who created this version", "claude-code").action(async (opts) => {
     const globals = program2.opts();
     const tokenResult = await resolveToken(globals.token);
@@ -25997,7 +26182,7 @@ function standardUploadBody(yamlText, file, ignoreRaw, createdBy) {
   if (!author.ok) return { ok: false, error: `--created-by: ${author.error}. Nothing was sent.` };
   let parsed;
   try {
-    parsed = (0, import_yaml7.parse)(yamlText);
+    parsed = (0, import_yaml8.parse)(yamlText);
   } catch (err2) {
     return { ok: false, error: `Invalid YAML in ${shown}: ${terminalText(err2.message, 300)}` };
   }
@@ -27087,15 +27272,15 @@ function renderSeatUsage(d, now = /* @__PURE__ */ new Date()) {
     lines.push(`  ${pad("Turn reviews", 24)}session ${pad(used(me.session.turn, ml?.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];
+  const t2 = d.totals.weeks[0];
   lines.push("");
   lines.push(`Team \xB7 ${n(d.totals.active_members)} active this week`);
-  const poolUsed = pool?.used ?? (pool ? { commit: t.commit, turn: t.turn } : null);
+  const poolUsed = pool?.used ?? (pool ? { commit: t2.commit, turn: t2.turn } : null);
   if (pool && poolUsed && d.plan) {
     lines.push(
       `  Week pool: ${n(poolUsed.commit)} / ${n(pool.commit)} commit & push, ${n(poolUsed.turn)} / ${n(pool.turn)} turn (${poolText(d.plan, pool.members)}; the session limit is each member's)`
     );
-    if (pool.used) lines.push(`  Everyone in ${d.organization.name} this week, members or not: ${n(t.commit)} commit & push, ${n(t.turn)} turn.`);
+    if (pool.used) lines.push(`  Everyone in ${d.organization.name} this week, members or not: ${n(t2.commit)} commit & push, ${n(t2.turn)} turn.`);
   }
   if (d.viewer !== "member" && d.members.length > 0) {
     const rows = d.members.map((m) => [
@@ -27113,19 +27298,19 @@ function renderSeatUsage(d, now = /* @__PURE__ */ new Date()) {
     const total = [
       "Team total",
       n(d.totals.session.commit),
-      used(t.commit, totalLimit("commit")),
-      n(t.peak_session.commit),
+      used(t2.commit, totalLimit("commit")),
+      n(t2.peak_session.commit),
       n(d.totals.session.turn),
-      used(t.turn, totalLimit("turn")),
-      n(t.blocked),
-      `${secs(t.latency_ms.p50)} / ${secs(t.latency_ms.p90)}`
+      used(t2.turn, totalLimit("turn")),
+      n(t2.blocked),
+      `${secs(t2.latency_ms.p50)} / ${secs(t2.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.`);
+    lines.push(`  This week: ${n(t2.commit)} commit & push reviews, ${n(t2.turn)} turn reviews, ${n(t2.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.)");
@@ -27250,16 +27435,16 @@ function readTextInput(value, flag, readStdin2 = () => (0, import_node_fs42.read
   if (raw.length > MAX_STDIN_BYTES) {
     return { ok: false, error: `${flag} from stdin is ${raw.length} bytes; the limit is ${MAX_STDIN_BYTES}.` };
   }
-  const text2 = raw.toString("utf8").replace(/\r?\n$/, "");
-  if (!text2.trim()) return { ok: false, error: `${flag} from stdin is empty.` };
-  return { ok: true, text: text2 };
+  const text3 = raw.toString("utf8").replace(/\r?\n$/, "");
+  if (!text3.trim()) return { ok: false, error: `${flag} from stdin is empty.` };
+  return { ok: true, text: text3 };
 }
 
 // src/commands/feedback.ts
 function registerFeedbackCommand(program2) {
   const feedbackCmd = program2.command("feedback").description("Send feedback to the Verity team");
-  feedbackCmd.command("message <text>").description("Send general feedback (- reads the message from stdin, so the words never pass through shell quoting)").option("--session-id <id>", "Session identifier").option("--model <name>", "Agent model name").action(async (text2, opts) => {
-    await sendMessageArg(text2, opts, program2.opts());
+  feedbackCmd.command("message <text>").description("Send general feedback (- reads the message from stdin, so the words never pass through shell quoting)").option("--session-id <id>", "Session identifier").option("--model <name>", "Agent model name").action(async (text3, opts) => {
+    await sendMessageArg(text3, opts, program2.opts());
   });
   feedbackCmd.command("finding <run-id> <pattern-id> <action> [note]").description("Submit per-finding feedback (false_positive, acknowledged, useful, etc.); a note of - is read from stdin").option("--file <path>", "File path the finding applies to").option("--line <n>", "Line number", parseInt).action(async (runId, patternId, action, inlineNote, opts) => {
     const globals = program2.opts();
@@ -27865,28 +28050,28 @@ function parseRgLine(line2) {
   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(text2, symbol) {
+function wordHit(text3, symbol) {
   let from = 0;
   for (; ; ) {
-    const at = text2.indexOf(symbol, from);
+    const at = text3.indexOf(symbol, from);
     if (at < 0) return false;
-    const before = at === 0 ? void 0 : text2[at - 1];
-    const after = text2[at + symbol.length];
+    const before = at === 0 ? void 0 : text3[at - 1];
+    const after = text3[at + symbol.length];
     if (!isWordChar(before) && !isWordChar(after)) return true;
     from = at + 1;
   }
 }
-function isContractLine(text2, symbol) {
+function isContractLine(text3, symbol) {
   for (const kw of ["implements", "extends"]) {
     let from = 0;
     for (; ; ) {
-      const at = text2.indexOf(kw, from);
+      const at = text3.indexOf(kw, from);
       if (at < 0) break;
       from = at + 1;
-      const before = at === 0 ? void 0 : text2[at - 1];
-      const after = text2[at + kw.length];
+      const before = at === 0 ? void 0 : text3[at - 1];
+      const after = text3[at + kw.length];
       if (isWordChar(before) || isWordChar(after)) continue;
-      let clause = text2.slice(at + kw.length);
+      let clause = text3.slice(at + kw.length);
       const stop2 = Math.min(
         ...[clause.indexOf(";"), clause.indexOf("{")].filter((i2) => i2 >= 0)
       );
@@ -27918,20 +28103,20 @@ function partitionSites(rgLines, symbols, opts) {
     if (opts.sentPaths.has(h.file)) continue;
     if (opts.isExcluded(h.file)) continue;
     if (!isCodeSiteFile(h.file)) continue;
-    const text2 = h.text.trim();
-    if (text2.length === 0 || IMPORT_LINE.test(h.text)) continue;
-    if (COMMENT_LINE.test(text2)) continue;
-    if (BARE_MEMBER_LINE.test(text2) || GO_IMPORT_PATH_LINE.test(text2)) continue;
+    const text3 = h.text.trim();
+    if (text3.length === 0 || IMPORT_LINE.test(h.text)) continue;
+    if (COMMENT_LINE.test(text3)) continue;
+    if (BARE_MEMBER_LINE.test(text3) || GO_IMPORT_PATH_LINE.test(text3)) continue;
     const n2 = perFile.get(h.file) ?? 0;
     if (n2 >= MAX_SITES_PER_FILE) continue;
     const site = {
       file: h.file,
       line: h.line,
-      text: text2.slice(0, SITE_TEXT_MAX),
+      text: text3.slice(0, SITE_TEXT_MAX),
       symbol: h.symbol,
       // R2 falls out of R1 for free: a word search for `Sym` already matches
       // `implements Sym` / `extends Sym` lines — classification is all R2 is.
-      ...isContractLine(text2, h.symbol) ? { kind: "contract" } : {}
+      ...isContractLine(text3, h.symbol) ? { kind: "contract" } : {}
     };
     if (isTestPath(h.file)) {
       if (tests.length < MAX_TEST_SLOTS) {
@@ -27951,8 +28136,8 @@ var MAX_IMPORTERS_PER_FILE = 2;
 function moduleKey(path) {
   return path.replace(/\.(ts|tsx|js|jsx|mjs|cjs|mts|cts)$/i, "").replace(/\/index$/, "");
 }
-function importSpecifier(text2) {
-  const m = /(?:\bfrom|\brequire\s*\(|\bimport\s*\(|^\s*import)\s*['"]([^'"\n]+)['"]/.exec(text2);
+function importSpecifier(text3) {
+  const m = /(?:\bfrom|\brequire\s*\(|\bimport\s*\(|^\s*import)\s*['"]([^'"\n]+)['"]/.exec(text3);
   return m?.[1] ?? null;
 }
 function resolveSpecifier(fromFile, spec) {
@@ -28222,8 +28407,8 @@ function extractEnclosingExcerpt(content, siteLine, path) {
     start2 = Math.max(1, siteLine - (EXCERPT_MAX_LINES - 6));
   }
   const end = Math.min(lines.length, start2 + EXCERPT_MAX_LINES - 1);
-  const text2 = lines.slice(start2 - 1, end).join("\n").slice(0, EXCERPT_MAX_CHARS);
-  return { start_line: start2, text: text2 };
+  const text3 = lines.slice(start2 - 1, end).join("\n").slice(0, EXCERPT_MAX_CHARS);
+  return { start_line: start2, text: text3 };
 }
 function upgradeToExcerpts(rc, opts) {
   if (rc.state !== "ok") return;
@@ -28357,10 +28542,10 @@ function formatRunEvidence(run4, startedAt) {
     }
   }
   if (run4.foldResult?.tools?.length) {
-    const shown = run4.foldResult.tools.slice(0, 6).map((t) => {
-      const outcome = t.failed > 0 ? `${t.failed} failed` : t.last_status === 0 ? "ok" : "?";
-      const where2 = t.targets.length > 0 ? ` \u2192 ${t.targets.slice(0, 2).join(", ")}` : "";
-      return `${t.runs}\xD7 ${t.name} (${outcome})${where2}`;
+    const shown = run4.foldResult.tools.slice(0, 6).map((t2) => {
+      const outcome = t2.failed > 0 ? `${t2.failed} failed` : t2.last_status === 0 ? "ok" : "?";
+      const where2 = t2.targets.length > 0 ? ` \u2192 ${t2.targets.slice(0, 2).join(", ")}` : "";
+      return `${t2.runs}\xD7 ${t2.name} (${outcome})${where2}`;
     });
     const more = run4.foldResult.tools.length > 6 ? ` \u2026 +${run4.foldResult.tools.length - 6} more` : "";
     out2 += row("tools", shown.join(" \xB7 ") + more);
@@ -28369,9 +28554,9 @@ function formatRunEvidence(run4, startedAt) {
     }
   }
   if (run4.foldResult?.tasks?.length) {
-    const t = run4.foldResult.tasks;
-    const done2 = t.filter((x) => x.status === "completed").length;
-    out2 += row("tasks", `${t.length} \xB7 ${done2} completed \xB7 ` + list(t.slice(0, 4).map((x) => `#${x.id} ${x.name} [${x.status}]`), 4));
+    const t2 = run4.foldResult.tasks;
+    const done2 = t2.filter((x) => x.status === "completed").length;
+    out2 += row("tasks", `${t2.length} \xB7 ${done2} completed \xB7 ` + list(t2.slice(0, 4).map((x) => `#${x.id} ${x.name} [${x.status}]`), 4));
   }
   if (run4.specs?.length) {
     const readThisSession = new Set(run4.actionSummary?.files_read ?? []);
@@ -28525,31 +28710,31 @@ function parsePushTarget(segment) {
   let refspec = null;
   let isDelete = false;
   for (let i2 = 0; i2 < tokens.length; i2++) {
-    const t = tokens[i2];
-    if (t === "-d" || t === "--delete") {
+    const t2 = tokens[i2];
+    if (t2 === "-d" || t2 === "--delete") {
       isDelete = true;
       continue;
     }
-    if (t.startsWith("--repo=")) {
-      remote = t.slice("--repo=".length);
+    if (t2.startsWith("--repo=")) {
+      remote = t2.slice("--repo=".length);
       continue;
     }
-    if (t === "--repo") {
+    if (t2 === "--repo") {
       remote = tokens[++i2] ?? null;
       continue;
     }
-    if (PUSH_VALUE_FLAGS.has(t)) {
+    if (PUSH_VALUE_FLAGS.has(t2)) {
       i2++;
       continue;
     }
-    if (t.startsWith("-")) continue;
-    if (SHELL_DYNAMIC.test(t)) return none;
+    if (t2.startsWith("-")) continue;
+    if (SHELL_DYNAMIC.test(t2)) return none;
     if (remote === null) {
-      remote = t;
+      remote = t2;
       continue;
     }
     if (refspec === null) {
-      refspec = t;
+      refspec = t2;
       continue;
     }
     break;
@@ -28875,21 +29060,21 @@ function rangeMessages(frame, range) {
   return frameGit(frame, ["show", "-s", "--format=%B%x00", ...commits]).split("\0").map((s) => s.trim()).filter(Boolean).join("\n\n");
 }
 function frameTelemetry(frame, range, divergence) {
-  const t = {
+  const t2 = {
     anchor: frame.anchor,
     linked_worktree: frame.isLinkedWorktree,
     range_via: range?.via ?? null,
     refusal: frame.refusal
   };
   if (divergence) {
-    t.root_differs = !!frame.worktreeRoot && !!divergence.actualRoot && realpathOr2(frame.worktreeRoot) !== realpathOr2(divergence.actualRoot);
+    t2.root_differs = !!frame.worktreeRoot && !!divergence.actualRoot && realpathOr2(frame.worktreeRoot) !== realpathOr2(divergence.actualRoot);
     const a = [...divergence.actualFiles].sort().join("\n");
     const b = [...divergence.frameFiles].sort().join("\n");
-    t.files_differ = a !== b;
-    t.frame_file_count = divergence.frameFiles.length;
-    t.actual_file_count = divergence.actualFiles.length;
+    t2.files_differ = a !== b;
+    t2.frame_file_count = divergence.frameFiles.length;
+    t2.actual_file_count = divergence.actualFiles.length;
   }
-  return t;
+  return t2;
 }
 
 // src/lib/transcript-path.ts
@@ -29388,12 +29573,12 @@ function parseKnowledgeNote(raw) {
   if (!raw || typeof raw !== "object") return null;
   const o = raw;
   const node_id = typeof o.node_id === "string" ? o.node_id.trim() : "";
-  const text2 = typeof o.text === "string" ? o.text.trim() : "";
-  if (!node_id || !text2) return null;
-  if (text2.length > 1e3) return null;
+  const text3 = typeof o.text === "string" ? o.text.trim() : "";
+  if (!node_id || !text3) return null;
+  if (text3.length > 1e3) return null;
   return {
     node_id,
-    text: text2,
+    text: text3,
     file: typeof o.file === "string" && o.file ? o.file : null,
     line: typeof o.line === "number" && Number.isFinite(o.line) && o.line > 0 ? Math.floor(o.line) : null
   };
@@ -29441,10 +29626,10 @@ function judgedSeverity(f) {
 var MAX_AGENT_CONTEXT_CHARS = 1500;
 var MAX_AGENT_ITEMS = 5;
 var REPORT_PREFIX = "Verity review (a report on the code just written \u2014 relay what matters to the user; it is not an instruction to you):";
-function renderItem(label2, text2, patternId, file, line2) {
+function renderItem(label2, text3, patternId, file, line2) {
   const where2 = file ? ` (${file}${line2 !== void 0 && line2 !== "" ? `:${line2}` : ""})` : "";
   const id = patternId ? ` [${patternId}]` : "";
-  return `- ${label2}${text2}${where2}${id}`;
+  return `- ${label2}${text3}${where2}${id}`;
 }
 function channelInputFrom(response, intentRepeat = 0, priorPendingFingerprints = []) {
   const metadata2 = response.metadata ?? {};
@@ -29535,24 +29720,24 @@ function composeAgentContext(input) {
   for (const p of input.pendingItems ?? []) {
     if (lines.length >= MAX_AGENT_ITEMS) break;
     if (p.pattern_id === "intent-misalignment") continue;
-    const text3 = p.description ?? p.title ?? p.reason;
-    if (!text3) continue;
-    const seenBefore = isRepeatOfAny(text3, input.priorPendingFingerprints ?? []);
+    const text4 = p.description ?? p.title ?? p.reason;
+    if (!text4) continue;
+    const seenBefore = isRepeatOfAny(text4, input.priorPendingFingerprints ?? []);
     lines.push(
-      renderItem("", text3, p.pattern_id, p.file, p.line) + (seenBefore ? "\n    (raised earlier this session and still open \u2014 do not re-explain it; act on it or carry on)" : "")
+      renderItem("", text4, p.pattern_id, p.file, p.line) + (seenBefore ? "\n    (raised earlier this session and still open \u2014 do not re-explain it; act on it or carry on)" : "")
     );
   }
   if (lines.length === 0) return { text: null, shown: [] };
   const body2 = `${REPORT_PREFIX}
 ${lines.slice(0, MAX_AGENT_ITEMS).join("\n")}`;
-  const text2 = truncateToCap(body2);
-  return { text: text2, shown: shown.filter((s) => text2.split("\n").includes(s.line)).map((s) => s.finding) };
+  const text3 = truncateToCap(body2);
+  return { text: text3, shown: shown.filter((s) => text3.split("\n").includes(s.line)).map((s) => s.finding) };
 }
-function truncateToCap(text2) {
-  if (text2.length <= MAX_AGENT_CONTEXT_CHARS) return text2;
+function truncateToCap(text3) {
+  if (text3.length <= MAX_AGENT_CONTEXT_CHARS) return text3;
   const marker = "\n- (truncated)";
   const budget = MAX_AGENT_CONTEXT_CHARS - marker.length;
-  const lines = text2.slice(0, budget).split("\n");
+  const lines = text3.slice(0, budget).split("\n");
   lines.pop();
   return `${lines.join("\n")}${marker}`;
 }
@@ -30728,9 +30913,9 @@ function fold(transcriptPath, opts = {}) {
     runs: s.runs,
     failed: s.failed,
     last_status: s.last_status,
-    targets: [...s.targets].map((t) => toRepoRelative(t, opts.repoRoot)).sort()
+    targets: [...s.targets].map((t2) => toRepoRelative(t2, opts.repoRoot)).sort()
   })).sort((a, b) => b.runs - a.runs || a.name.localeCompare(b.name));
-  result.tasks = [...taskById.entries()].map(([id, t]) => ({ id, name: t.name, status: t.status })).sort((a, b) => (Number(a.id) || 0) - (Number(b.id) || 0));
+  result.tasks = [...taskById.entries()].map(([id, t2]) => ({ id, name: t2.name, status: t2.status })).sort((a, b) => (Number(a.id) || 0) - (Number(b.id) || 0));
   const authoredPaths = new Set(result.authored.map((a) => a.p));
   for (const raw of opts.changedFiles ?? []) {
     const p = toRepoRelative(raw, opts.repoRoot);
@@ -31416,8 +31601,8 @@ var cap = (s, n2) => {
 function qualifierOf(node, spec) {
   if (spec.id === "go" && node.type === "method_declaration") {
     const receiver = node.childForFieldName("receiver");
-    const t = receiver?.descendantsOfType("type_identifier")[0];
-    return t ? t.text : null;
+    const t2 = receiver?.descendantsOfType("type_identifier")[0];
+    return t2 ? t2.text : null;
   }
   for (let p = node.parent; p; p = p.parent) {
     if (spec.classes.has(p.type)) return p.childForFieldName("name")?.text ?? null;
@@ -31572,10 +31757,10 @@ function factsOf(def, spec, defs, path) {
   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;
+    const t2 = n2.type;
     bind(n2);
     const down = (c, next = ctx) => walk2(c, next);
-    if (spec.calls.has(t)) {
+    if (spec.calls.has(t2)) {
       const { receiver, name: name2, args: args2 } = callParts(n2, spec);
       if (name2) {
         calls.push({
@@ -31596,29 +31781,29 @@ function factsOf(def, spec, defs, path) {
         return;
       }
     }
-    if (spec.awaits.has(t)) awaits.push(line(n2));
-    if (t === "defer_statement") {
+    if (spec.awaits.has(t2)) awaits.push(line(n2));
+    if (t2 === "defer_statement") {
       for (const c of n2.namedChildren) down(c, { ...ctx, within: [...ctx.within, "defer"] });
       return;
     }
-    if (spec.lockNodes.has(t)) {
+    if (spec.lockNodes.has(t2)) {
       locks.push(line(n2));
       for (const c of n2.namedChildren) down(c, { ...ctx, within: [...ctx.within, "synchronized"] });
       return;
     }
-    if (t === "with_statement") {
+    if (t2 === "with_statement") {
       const item = n2.namedChildren[0];
       if (PY_LOCK_ITEM.test(item?.text ?? "")) locks.push(line(n2));
       const label2 = withLabel(item);
       for (const c of n2.namedChildren) down(c, c.type === "block" && label2 ? { ...ctx, within: [...ctx.within, label2] } : ctx);
       return;
     }
-    if (spec.loops.has(t)) {
+    if (spec.loops.has(t2)) {
       loops.push(line(n2));
       for (const c of n2.namedChildren) down(c, { ...ctx, inLoop: true });
       return;
     }
-    if (spec.tries.has(t)) {
+    if (spec.tries.has(t2)) {
       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");
@@ -31737,9 +31922,9 @@ function literalName(literal) {
   return prefix.length >= 2 ? { name: prefix, confidence: "prefix" } : null;
 }
 var SIMPLE_EXPRESSION = /^[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)*(?:\(\))?$/;
-var STABLE_EXPRESSION = (t) => {
-  if (t.endsWith("()")) return true;
-  const root = t.split(".")[0];
+var STABLE_EXPRESSION = (t2) => {
+  if (t2.endsWith("()")) return true;
+  const root = t2.split(".")[0];
   return root === "this" || root === "self" || /^[A-Z]/.test(root);
 };
 function argResource(kind2, arg) {
@@ -31752,13 +31937,13 @@ function argResource(kind2, arg) {
   const keyed = keyedCall(arg.text);
   return keyed ? { kind: kind2, name: keyed, confidence: "expression" } : { kind: kind2, name: null, confidence: "unknown" };
 }
-function keyedCall(text2) {
-  const t = text2.trim();
-  const open = t.indexOf("(");
-  if (open <= 0 || !t.endsWith(")")) return null;
-  const callee = t.slice(0, open);
+function keyedCall(text3) {
+  const t2 = text3.trim();
+  const open = t2.indexOf("(");
+  if (open <= 0 || !t2.endsWith(")")) return null;
+  const callee = t2.slice(0, open);
   if (!/^[A-Za-z_$][\w$.]*$/.test(callee)) return null;
-  const constant = /\b[A-Z][A-Z0-9_]{2,}\b/.exec(t.slice(open + 1, -1));
+  const constant = /\b[A-Z][A-Z0-9_]{2,}\b/.exec(t2.slice(open + 1, -1));
   return constant ? `${callee}(${constant[0]})` : null;
 }
 function snake(s) {
@@ -31787,16 +31972,16 @@ var SQL_TABLE = [
   [/\bfrom\s+[`"[]?([\w.]+)/i, "read"]
 ];
 function sqlLiteral(c) {
-  const text2 = c.args.find((a) => a.literal !== null && SQL.test(a.literal))?.literal;
-  if (!text2) return null;
+  const text3 = c.args.find((a) => a.literal !== null && SQL.test(a.literal))?.literal;
+  if (!text3) return null;
   for (const [re, op] of SQL_TABLE) {
-    const m = re.exec(text2);
+    const m = re.exec(text3);
     if (m) {
       const name2 = m[1].split(".").pop();
-      return { op, resource: table(name2), rule: "sql.literal", lock: op === "read" && /\bfor\s+(?:no\s+key\s+)?update\b/i.test(text2) };
+      return { op, resource: table(name2), rule: "sql.literal", lock: op === "read" && /\bfor\s+(?:no\s+key\s+)?update\b/i.test(text3) };
     }
   }
-  return { op: /^\s*select\b/i.test(text2) ? "read" : "write", resource: { kind: "table", name: null, confidence: "unknown" }, rule: "sql.literal" };
+  return { op: /^\s*select\b/i.test(text3) ? "read" : "write", resource: { kind: "table", name: null, confidence: "unknown" }, rule: "sql.literal" };
 }
 var SB_WRITE = /* @__PURE__ */ new Set(["insert", "update", "upsert", "delete"]);
 var SB_FROM = /\bfrom\(\s*(['"`])([\w.-]+)\1\s*\)\s*$/;
@@ -31973,7 +32158,7 @@ function heldAt(fn, line2) {
 }
 function contextOf(c, fn) {
   const recvRoot = (c.receiver ?? "").split(".")[0];
-  const tryBlock = c.tryAt === null ? null : fn.tries.find((t) => t.line === c.tryAt) ?? null;
+  const tryBlock = c.tryAt === null ? null : fn.tries.find((t2) => t2.line === c.tryAt) ?? null;
   return {
     txn: c.within.some((w) => TXN.has(w)) || recvRoot === "tx" || recvRoot === "trx",
     // A lock this call runs inside, or a statement lock taken earlier and still held.
@@ -32192,42 +32377,42 @@ var ALIAS_OF = "alias-of:";
 var FIELD_OF = "field-of:";
 var IDENT_CHAR = /[\w$]/;
 var isIdent = (s) => /^[A-Za-z_$][\w$]*$/.test(s);
-function wordAt(text2, word) {
+function wordAt(text3, word) {
   const out2 = [];
-  for (let i2 = text2.indexOf(word); i2 >= 0; i2 = text2.indexOf(word, i2 + 1)) {
-    if (IDENT_CHAR.test(text2[i2 - 1] ?? "") || IDENT_CHAR.test(text2[i2 + word.length] ?? "")) continue;
+  for (let i2 = text3.indexOf(word); i2 >= 0; i2 = text3.indexOf(word, i2 + 1)) {
+    if (IDENT_CHAR.test(text3[i2 - 1] ?? "") || IDENT_CHAR.test(text3[i2 + word.length] ?? "")) continue;
     out2.push(i2);
   }
   return out2;
 }
 var GO_NOT_TYPES = /* @__PURE__ */ new Set(["int", "int8", "int16", "int32", "int64", "uint", "uint8", "uint16", "uint32", "uint64", "uintptr", "float32", "float64", "complex64", "complex128", "string", "bool", "byte", "rune", "error", "any", "func", "chan", "map", "struct", "interface", "range", "make", "new", "nil", "true", "false"]);
-function typeAt(text2, i2, lang) {
+function typeAt(text3, i2, lang) {
   let j = i2;
   const skip = () => {
-    while (j < text2.length && /[\s?*&]/.test(text2[j])) j++;
+    while (j < text3.length && /[\s?*&]/.test(text3[j])) j++;
   };
   skip();
-  for (const kw of ["new ", "readonly ", "await "]) if (text2.startsWith(kw, j)) {
+  for (const kw of ["new ", "readonly ", "await "]) if (text3.startsWith(kw, j)) {
     j += kw.length;
     skip();
   }
   let k = j;
-  while (k < text2.length && /[\w$.]/.test(text2[k])) k++;
-  const name2 = text2.slice(j, k).split(".").pop() ?? "";
+  while (k < text3.length && /[\w$.]/.test(text3[k])) k++;
+  const name2 = text3.slice(j, k).split(".").pop() ?? "";
   if (lang === "go") return /^[A-Za-z_]\w*$/.test(name2) && !GO_NOT_TYPES.has(name2) ? name2 : null;
   return /^[A-Z][\w$]*$/.test(name2) ? name2 : null;
 }
 function declaredType(scope2, v, lang) {
   for (const i2 of wordAt(scope2, v)) {
     const after = scope2.slice(i2 + v.length);
-    const t = after.trimStart();
-    if (lang !== "go" && lang !== "java" && t.startsWith(":") && !t.startsWith("::")) {
+    const t2 = after.trimStart();
+    if (lang !== "go" && lang !== "java" && t2.startsWith(":") && !t2.startsWith("::")) {
       const ty = typeAt(after, after.indexOf(":") + 1, lang);
       if (ty) return ty;
     }
-    const eq = t.startsWith(":=") ? 2 : t.startsWith("=") && !t.startsWith("==") ? 1 : 0;
+    const eq = t2.startsWith(":=") ? 2 : t2.startsWith("=") && !t2.startsWith("==") ? 1 : 0;
     if (eq) {
-      const rhs = t.slice(eq).trimStart();
+      const rhs = t2.slice(eq).trimStart();
       if (lang === "go" && rhs.startsWith("new(")) {
         const ty2 = typeAt(rhs, 4, lang);
         if (ty2) return ty2;
@@ -32338,8 +32523,8 @@ function receiverType(content, lang, caller, receiver, callLine) {
   if (lang === "go" && caller && caller.params.includes(receiver)) {
     const body2 = lines.slice(caller.start.line, callLine).join("\n");
     if (rebindsInGo(body2, receiver)) {
-      const t = declaredType(body2, receiver, lang);
-      return t && !t.includes(":") ? t : null;
+      const t2 = declaredType(body2, receiver, lang);
+      return t2 && !t2.includes(":") ? t2 : null;
     }
   }
   const goReceiver = lang === "go" && caller && caller.params[0] === receiver && caller.qualified.includes(".");
@@ -32363,10 +32548,10 @@ function boundInGo(fnText, name2) {
   const brace = fnText.indexOf("{");
   return wordAt(brace < 0 ? fnText : fnText.slice(0, brace), name2).length > 0;
 }
-function rebindsInGo(text2, name2) {
-  for (const i2 of wordAt(text2, name2)) {
-    const lineEnd = text2.indexOf("\n", i2);
-    const rest = text2.slice(i2 + name2.length, lineEnd < 0 ? void 0 : lineEnd);
+function rebindsInGo(text3, name2) {
+  for (const i2 of wordAt(text3, name2)) {
+    const lineEnd = text3.indexOf("\n", i2);
+    const rest = text3.slice(i2 + name2.length, lineEnd < 0 ? void 0 : lineEnd);
     const decl = rest.indexOf(":=");
     if (decl >= 0 && /^[\s\w,]*$/.test(rest.slice(0, decl))) return true;
   }
@@ -32391,15 +32576,15 @@ function localType(content, lang, caller, name2, lines, classes, depth) {
   const fnText = caller ? lines.slice(caller.start.line - 1, caller.end.line).join("\n") : "";
   const local = caller ? declaredType(fnText, name2, lang) : null;
   if (!local && caller && lang === "go" && boundInGo(fnText, name2)) return null;
-  const t = local ?? declaredType(lang === "go" ? goPackageVars(content) : content, name2, lang);
-  if (!t) return null;
-  if (t.startsWith(RESULT_OF)) {
-    const [fn, idx] = t.slice(RESULT_OF.length).split("#");
+  const t2 = local ?? declaredType(lang === "go" ? goPackageVars(content) : content, name2, lang);
+  if (!t2) return null;
+  if (t2.startsWith(RESULT_OF)) {
+    const [fn, idx] = t2.slice(RESULT_OF.length).split("#");
     return resultTypeOf(content, fn, lang, Number(idx ?? 0)) ?? `${RESULT_OF}${fn}#${idx ?? 0}`;
   }
-  if (t.startsWith(ALIAS_OF)) return localType(content, lang, caller, t.slice(ALIAS_OF.length), lines, classes, depth + 1);
-  if (t.startsWith(FIELD_OF)) {
-    const [base, field] = t.slice(FIELD_OF.length).split(".");
+  if (t2.startsWith(ALIAS_OF)) return localType(content, lang, caller, t2.slice(ALIAS_OF.length), lines, classes, depth + 1);
+  if (t2.startsWith(FIELD_OF)) {
+    const [base, field] = t2.slice(FIELD_OF.length).split(".");
     const baseType = localType(content, lang, caller, base, lines, classes, depth + 1);
     const cls = baseType ? classes.find((c) => c.name === baseType) : null;
     if (!cls) return null;
@@ -32407,7 +32592,7 @@ function localType(content, lang, caller, name2, lines, classes, depth) {
     const self2 = lang === "python" ? "self" : "this";
     return declaredType(body2, field, lang) ?? declaredType(body2, `${self2}.${field}`, lang);
   }
-  return t;
+  return t2;
 }
 function classFiles(type, fromPath, content, lang, source2, resolveImport, importOf2) {
   if (classesIn(content, lang).some((c) => c.name === type)) return [fromPath];
@@ -32592,15 +32777,15 @@ function importOf(content, lang, name2, receiver) {
   return null;
 }
 var TS_EXTS = [".ts", ".tsx", ".mts", ".cts", ".js", ".jsx", ".mjs", ".cjs"];
-function parseJsonc(text2) {
+function parseJsonc(text3) {
   let out2 = "";
   let inString = false;
-  for (let i2 = 0; i2 < text2.length; i2++) {
-    const c = text2[i2];
+  for (let i2 = 0; i2 < text3.length; i2++) {
+    const c = text3[i2];
     if (inString) {
       out2 += c;
       if (c === "\\") {
-        out2 += text2[++i2] ?? "";
+        out2 += text3[++i2] ?? "";
         continue;
       }
       if (c === '"') inString = false;
@@ -32611,14 +32796,14 @@ function parseJsonc(text2) {
       out2 += c;
       continue;
     }
-    if (c === "/" && text2[i2 + 1] === "/") {
-      while (i2 < text2.length && text2[i2] !== "\n") i2++;
+    if (c === "/" && text3[i2 + 1] === "/") {
+      while (i2 < text3.length && text3[i2] !== "\n") i2++;
       out2 += "\n";
       continue;
     }
-    if (c === "/" && text2[i2 + 1] === "*") {
+    if (c === "/" && text3[i2 + 1] === "*") {
       i2 += 2;
-      while (i2 < text2.length && !(text2[i2] === "*" && text2[i2 + 1] === "/")) i2++;
+      while (i2 < text3.length && !(text3[i2] === "*" && text3[i2 + 1] === "/")) i2++;
       i2++;
       continue;
     }
@@ -32659,8 +32844,8 @@ function tsCandidates(spec, fromPath, cfg) {
       const star = pattern.indexOf("*");
       const matched = star < 0 ? spec === pattern ? "" : null : spec.startsWith(pattern.slice(0, star)) && spec.endsWith(pattern.slice(star + 1)) ? spec.slice(star, spec.length - (pattern.length - star - 1)) : null;
       if (matched === null) continue;
-      for (const t of targets) {
-        const b = joinPath(root ?? "", t.replace("*", matched));
+      for (const t2 of targets) {
+        const b = joinPath(root ?? "", t2.replace("*", matched));
         if (b !== null) bases.push(b);
       }
     }
@@ -32827,36 +33012,36 @@ function definitionOf(input) {
 }
 var MAX_CALLER_SCAN_FILES = 60;
 var isWordChar2 = (c) => c !== void 0 && /[\w$]/.test(c);
-function callStarts(text2, name2) {
+function callStarts(text3, name2) {
   const out2 = [];
-  for (let i2 = text2.indexOf(name2); i2 >= 0; i2 = text2.indexOf(name2, i2 + 1)) {
+  for (let i2 = text3.indexOf(name2); i2 >= 0; i2 = text3.indexOf(name2, i2 + 1)) {
     let j = i2 + name2.length;
-    if (text2[j] === "<") {
+    if (text3[j] === "<") {
       let depth = 0;
-      for (; j < text2.length; j++) {
-        if (text2[j] === "<") depth++;
-        else if (text2[j] === ">" && --depth === 0) break;
+      for (; j < text3.length; j++) {
+        if (text3[j] === "<") depth++;
+        else if (text3[j] === ">" && --depth === 0) break;
       }
       j++;
     }
-    if (text2[j] === "(") out2.push({ index: i2, open: j });
+    if (text3[j] === "(") out2.push({ index: i2, open: j });
   }
   return out2;
 }
-function callsName(text2, name2) {
-  const t = text2.trim();
-  if (t.startsWith("//") || t.startsWith("*") || t.startsWith("/*") || t.startsWith("#")) return false;
-  for (const at of callStarts(text2, name2)) {
+function callsName(text3, name2) {
+  const t2 = text3.trim();
+  if (t2.startsWith("//") || t2.startsWith("*") || t2.startsWith("/*") || t2.startsWith("#")) return false;
+  for (const at of callStarts(text3, name2)) {
     const i2 = at.index;
-    const spread = text2.slice(Math.max(0, i2 - 3), i2) === "...";
-    if (isWordChar2(text2[i2 - 1]) || text2[i2 - 1] === "." && !spread) continue;
+    const spread = text3.slice(Math.max(0, i2 - 3), i2) === "...";
+    if (isWordChar2(text3[i2 - 1]) || text3[i2 - 1] === "." && !spread) continue;
     let depth = 0;
     let j = at.open;
-    for (; j < text2.length; j++) {
-      if (text2[j] === "(") depth++;
-      else if (text2[j] === ")" && --depth === 0) break;
+    for (; j < text3.length; j++) {
+      if (text3[j] === "(") depth++;
+      else if (text3[j] === ")" && --depth === 0) break;
     }
-    const after = text2.slice(j + 1).trimStart();
+    const after = text3.slice(j + 1).trimStart();
     if (after.startsWith(":") || after.startsWith("{")) continue;
     return true;
   }
@@ -32946,11 +33131,11 @@ function callersOf(input) {
         if (seen.has(line2) || declared.has(line2)) continue;
         const inside2 = r.value.some((f) => f.start.line <= line2 && line2 <= f.end.line && f.calls.some((c) => c.line === line2 && c.name === name2));
         if (inside2) continue;
-        const text2 = lines[line2 - 1] ?? "";
-        if (!callsName(text2, name2) || /^\s*(?:export\s+)?(?:async\s+)?(?:function|def|func)\b/.test(text2)) continue;
+        const text3 = lines[line2 - 1] ?? "";
+        if (!callsName(text3, name2) || /^\s*(?:export\s+)?(?:async\s+)?(?:function|def|func)\b/.test(text3)) continue;
         const enclosing = r.value.filter((f) => f.start.line <= line2 && line2 <= f.end.line).sort((a, b) => a.end.line - a.start.line - (b.end.line - b.start.line))[0];
         seen.add(line2);
-        callers.push({ path: p, caller: enclosing ? enclosing.qualified : null, line: line2, text: text2.trim().slice(0, 200), provenance: fileTie });
+        callers.push({ path: p, caller: enclosing ? enclosing.qualified : null, line: line2, text: text3.trim().slice(0, 200), provenance: fileTie });
       }
     }
   }
@@ -33257,24 +33442,24 @@ ${m.accessors.map((x) => `  ${x.fn.path}:${x.fn.start.line} ${x.fn.qualified} \u
   return { ok: true, value: lines.join("\n") };
 };
 var KINDS = ["table", "cache", "file", "http", "queue", "service", "memory"];
-function parseResource(text2) {
-  const colon = text2.indexOf(":");
-  const kind2 = colon > 0 ? text2.slice(0, colon) : "";
-  if (KINDS.includes(kind2)) return { kinds: [kind2], name: text2.slice(colon + 1) };
-  return { kinds: KINDS, name: text2 };
+function parseResource(text3) {
+  const colon = text3.indexOf(":");
+  const kind2 = colon > 0 ? text3.slice(0, colon) : "";
+  if (KINDS.includes(kind2)) return { kinds: [kind2], name: text3.slice(colon + 1) };
+  return { kinds: KINDS, name: text3 };
 }
 var writersOfTool = async (ctx, args2) => {
-  const text2 = str2(args2.resource, 300, "resource");
-  if (!text2.ok) return text2;
-  const { kinds, name: name2 } = parseResource(text2.value);
+  const text3 = str2(args2.resource, 300, "resource");
+  if (!text3.ok) return text3;
+  const { kinds, name: name2 } = parseResource(text3.value);
   if (name2.length < 2) return { ok: false, error: "resource name too short to search for" };
   const deadline = Date.now() + TOOL_MS;
   const src = source(ctx);
   const terms = [.../* @__PURE__ */ new Set([name2, ...searchTerms({ kind: "table", name: name2, confidence: "inferred" })])];
   const files = /* @__PURE__ */ new Set();
   let truncated = false;
-  for (const t of terms) {
-    const found = src.search(t, { maxHits: 300, timeoutMs: Math.max(100, deadline - Date.now()) });
+  for (const t2 of terms) {
+    const found = src.search(t2, { maxHits: 300, timeoutMs: Math.max(100, deadline - Date.now()) });
     if (!found.ok) {
       truncated = true;
       continue;
@@ -33305,7 +33490,7 @@ var writersOfTool = async (ctx, args2) => {
   if (files.size > 25) truncated = true;
   const list2 = (xs) => xs.length ? xs.slice(0, MAX_LIST).map((x) => `  ${x}`).join("\n") + (xs.length > MAX_LIST ? `
   \u2026 ${xs.length - MAX_LIST} more` : "") : "  none found";
-  return { ok: true, value: `${text2.value} (${where(ctx)}), heuristic${truncated ? ", search cut short" : ""}
+  return { ok: true, value: `${text3.value} (${where(ctx)}), heuristic${truncated ? ", search cut short" : ""}
 writers:
 ${list2(writers)}
 readers:
@@ -33363,9 +33548,9 @@ function validateRepoPath(value, { allowRoot = false } = {}) {
 function lineNumber(value, fallback) {
   return typeof value === "number" && Number.isInteger(value) && value >= 1 ? value : fallback;
 }
-function capOutput(text2) {
-  return text2.length > TOOL_LIMITS.outputChars ? `${text2.slice(0, TOOL_LIMITS.outputChars)}
-[truncated at ${TOOL_LIMITS.outputChars} characters]` : text2;
+function capOutput(text3) {
+  return text3.length > TOOL_LIMITS.outputChars ? `${text3.slice(0, TOOL_LIMITS.outputChars)}
+[truncated at ${TOOL_LIMITS.outputChars} characters]` : text3;
 }
 function git(ctx, args2, opts = {}) {
   return runGit(ctx.root, args2, { timeoutMs: opts.timeoutMs ?? TOOL_LIMITS.gitTimeoutMs, maxBuffer: opts.maxBuffer ?? TOOL_LIMITS.fileBytes });
@@ -33499,8 +33684,8 @@ var listFilesTool = async (ctx, args2) => {
 \u2026 ${more} more` : ""}` : "no matching files" };
 };
 var searchTool = async (ctx, args2) => {
-  const text2 = args2.text;
-  if (typeof text2 !== "string" || text2.length === 0 || text2.length > TOOL_LIMITS.textChars || /[\n\r]/.test(text2)) {
+  const text3 = args2.text;
+  if (typeof text3 !== "string" || text3.length === 0 || text3.length > TOOL_LIMITS.textChars || /[\n\r]/.test(text3)) {
     return { ok: false, error: `text must be 1-${TOOL_LIMITS.textChars} characters on one line` };
   }
   const glob = typeof args2.path_glob === "string" && args2.path_glob.length > 0 ? args2.path_glob : null;
@@ -33509,7 +33694,7 @@ var searchTool = async (ctx, args2) => {
   }
   const pathspec = glob ? [`:(glob)${glob}`] : [];
   const revision = ctx.range.kind === "push" ? [ctx.range.head] : ["--cached"];
-  const res = await git(ctx, ["grep", "-n", "-I", "-F", "--no-color", ...revision.filter((r) => r === "--cached"), "-e", text2, ...revision.filter((r) => r !== "--cached"), "--", ...pathspec]);
+  const res = await git(ctx, ["grep", "-n", "-I", "-F", "--no-color", ...revision.filter((r) => r === "--cached"), "-e", text3, ...revision.filter((r) => r !== "--cached"), "--", ...pathspec]);
   if (!res.ok) {
     if (res.error === "failed" && res.stderr.trim() === "") return { ok: true, value: "no matches" };
     return { ok: false, error: gitFailure(res, "search") };
@@ -33643,10 +33828,10 @@ function writerExcerpts(codeMap, writers, read2, maxLines, maxChars, budget) {
     if (content === null) continue;
     const win = functionWindow(codeMap, w.file, content, w.line, maxLines);
     if (!win) continue;
-    const text2 = content.split("\n").slice(win.start_line - 1, win.end_line).join("\n").slice(0, maxChars);
-    if (used2 + text2.length > budget) break;
-    used2 += text2.length;
-    out2.push({ file: w.file, start_line: win.start_line, symbol: `${w.symbol} (writes ${w.resource}, like ${w.changed})`, kind: "writer", text: text2 });
+    const text3 = content.split("\n").slice(win.start_line - 1, win.end_line).join("\n").slice(0, maxChars);
+    if (used2 + text3.length > budget) break;
+    used2 += text3.length;
+    out2.push({ file: w.file, start_line: win.start_line, symbol: `${w.symbol} (writes ${w.resource}, like ${w.changed})`, kind: "writer", text: text3 });
   }
   return out2;
 }
@@ -33706,7 +33891,7 @@ async function repoContext(run4) {
 var import_promises11 = require("node:fs/promises");
 var import_node_fs53 = require("node:fs");
 var import_node_path42 = require("node:path");
-var import_yaml8 = __toESM2(require_dist());
+var import_yaml9 = __toESM2(require_dist());
 
 // src/lib/seed.ts
 function extractReadmeIntro(content) {
@@ -34017,7 +34202,7 @@ async function runSeed(opts) {
   let standardDoc;
   try {
     const raw = await (0, import_promises11.readFile)(STANDARD_FILE, "utf-8");
-    standardDoc = (0, import_yaml8.parse)(raw);
+    standardDoc = (0, import_yaml9.parse)(raw);
   } catch {
     return { created: 0, existing: 0, failed: 0, skipped: "no_standard", candidates: [] };
   }
@@ -35093,7 +35278,7 @@ async function reconcile(run4) {
   const episodeSignals = {
     humanSpoke: (conversation?.prompts?.length ?? 0) > 0,
     rawFail: decision === "FAIL",
-    tasksCompleted: (foldResult?.tasks ?? []).filter((t) => t.status === "completed").length,
+    tasksCompleted: (foldResult?.tasks ?? []).filter((t2) => t2.status === "completed").length,
     now: Math.floor(Date.now() / 1e3)
   };
   let episode = resolveEpisode(readAdvisoryEpisode(baselineSessionId), episodeSignals);
@@ -36317,7 +36502,7 @@ var IDENT2 = /^[A-Za-z0-9_][A-Za-z0-9_.-]{0,63}$/;
 var SHA256 = /^(sha256:)?[0-9a-f]{64}$/;
 var KINDS2 = /* @__PURE__ */ new Set(["structural", "intent"]);
 var RESULTS = /* @__PURE__ */ new Set(["holds", "counterexample", "exhausted", "proved"]);
-var LIMITS2 = {
+var LIMITS3 = {
   text: 1e3,
   // desc, source
   state: 4e3,
@@ -36348,22 +36533,22 @@ function strArr(v, maxItems, maxItem) {
   return out2;
 }
 function nat(v) {
-  return typeof v === "number" && Number.isInteger(v) && v >= 0 && v <= LIMITS2.int ? v : null;
+  return typeof v === "number" && Number.isInteger(v) && v >= 0 && v <= LIMITS3.int ? v : null;
 }
 function repoPath2(v) {
-  const s = str3(v, LIMITS2.path);
+  const s = str3(v, LIMITS3.path);
   if (!s || s.startsWith("/") || /^[A-Za-z]:[\\/]/.test(s)) return null;
   if (s.split(/[\\/]/).some((p) => p === ".." || p === "")) return null;
   return s;
 }
 function parseHeader(obj) {
   const model = ident(obj.model);
-  if (!model || !Array.isArray(obj.abstracts) || obj.abstracts.length > LIMITS2.abstracts) return null;
+  if (!model || !Array.isArray(obj.abstracts) || obj.abstracts.length > LIMITS3.abstracts) return null;
   const abstracts = [];
   for (const a of obj.abstracts) {
     if (!isPlainObject2(a)) return null;
     const file = repoPath2(a.file);
-    const symbol = str3(a.symbol, LIMITS2.symbol);
+    const symbol = str3(a.symbol, LIMITS3.symbol);
     const sha = a.sha256 === void 0 ? "" : str3(a.sha256, 80);
     if (!file || !symbol || sha === null) return null;
     if (sha !== "" && sha !== "TBD" && !SHA256.test(sha)) return null;
@@ -36385,8 +36570,8 @@ function parseProperty(obj) {
   const id = ident(obj.id);
   const kind2 = typeof obj.kind === "string" && KINDS2.has(obj.kind) ? obj.kind : null;
   const result = typeof obj.result === "string" && RESULTS.has(obj.result) ? obj.result : null;
-  const source2 = obj.source === void 0 ? "" : str3(obj.source, LIMITS2.text);
-  const desc = obj.desc === void 0 ? "" : str3(obj.desc, LIMITS2.text);
+  const source2 = obj.source === void 0 ? "" : str3(obj.source, LIMITS3.text);
+  const desc = obj.desc === void 0 ? "" : str3(obj.desc, LIMITS3.text);
   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) {
@@ -36400,24 +36585,24 @@ function parseProperty(obj) {
     p.states = n2;
   }
   if (obj.trace !== void 0) {
-    const t = strArr(obj.trace, LIMITS2.traceItems, LIMITS2.traceItem);
-    if (!t) return null;
-    p.trace = t;
+    const t2 = strArr(obj.trace, LIMITS3.traceItems, LIMITS3.traceItem);
+    if (!t2) return null;
+    p.trace = t2;
   }
   if (obj.states_along !== void 0) {
-    const s = strArr(obj.states_along, LIMITS2.traceItems, LIMITS2.state);
+    const s = strArr(obj.states_along, LIMITS3.traceItems, LIMITS3.state);
     if (!s) return null;
     p.states_along = s;
   }
   if (obj.final !== void 0) {
-    const f = str3(obj.final, LIMITS2.state);
+    const f = str3(obj.final, LIMITS3.state);
     if (f === null) return null;
     p.final = f;
   }
   if (obj.theorem !== void 0) {
-    const t = str3(obj.theorem, LIMITS2.symbol);
-    if (t === null) return null;
-    p.theorem = t;
+    const t2 = str3(obj.theorem, LIMITS3.symbol);
+    if (t2 === null) return null;
+    p.theorem = t2;
   }
   return p;
 }
@@ -36696,8 +36881,8 @@ function listModelFiles(root) {
   if (!(0, import_node_fs61.existsSync)(modelsAbs)) return [];
   return (0, import_node_fs61.readdirSync)(modelsAbs).filter((f) => isModelInRoot(modelsAbs, f)).sort().map((f) => (0, import_node_path49.join)(modelsAbs, f));
 }
-function trimDiagnostics(text2) {
-  return text2.split("\n").filter((l) => !l.startsWith("trace:")).join("\n").trim().slice(0, 4e3);
+function trimDiagnostics(text3) {
+  return text3.split("\n").filter((l) => !l.startsWith("trace:")).join("\n").trim().slice(0, 4e3);
 }
 function checkModel(tc, root, modelFile, opts = {}) {
   const proofsAbs = (0, import_node_path49.join)(root, PROOFS_DIR);
@@ -37709,9 +37894,9 @@ var HAS_FAILURE = /fail|error|throw|time[sd]?[\s_-]*out|reject|exception|unavail
 var HAS_CRASH = /crash|die|kill|abort|restart/i;
 function missingTrigger(desc, trace) {
   const d = desc.toLowerCase();
-  const t = trace.join(" ");
-  if (NEEDS_CRASH.test(d) && !HAS_CRASH.test(t)) return "a crash";
-  if (NEEDS_FAILURE.test(d) && !HAS_FAILURE.test(t)) return "a failure";
+  const t2 = trace.join(" ");
+  if (NEEDS_CRASH.test(d) && !HAS_CRASH.test(t2)) return "a crash";
+  if (NEEDS_FAILURE.test(d) && !HAS_FAILURE.test(t2)) return "a failure";
   return null;
 }
 function ungroundedMessage(list2) {
@@ -37911,13 +38096,13 @@ var lunaRanker = {
         signal: controller.signal
       });
       if (!res.ok) {
-        const text3 = await res.text().catch(() => "");
-        return { ok: false, ranker: "luna", error: `OpenAI ${res.status}: ${text3.slice(0, 200)}`, ranked: fallback };
+        const text4 = await res.text().catch(() => "");
+        return { ok: false, ranker: "luna", error: `OpenAI ${res.status}: ${text4.slice(0, 200)}`, ranked: fallback };
       }
       const data = await res.json();
-      const text2 = (data.output ?? []).flatMap((o) => o.content ?? []).find((c) => c.type === "output_text")?.text;
-      if (!text2) return { ok: false, ranker: "luna", error: "no output_text in response", ranked: fallback };
-      const parsed = JSON.parse(text2);
+      const text3 = (data.output ?? []).flatMap((o) => o.content ?? []).find((c) => c.type === "output_text")?.text;
+      if (!text3) return { ok: false, ranker: "luna", error: "no output_text in response", ranked: fallback };
+      const parsed = JSON.parse(text3);
       const items = parsed.items.map((i2) => {
         const legacy = i2.critical === void 0 && i2.hazard === void 0 && i2.error_prone === void 0;
         const criteria = legacy ? { critical: Number(i2.score) || 0, hazard: Number(i2.score) || 0, error_prone: Number(i2.score) || 0 } : { critical: Number(i2.critical) || 0, hazard: Number(i2.hazard) || 0, error_prone: Number(i2.error_prone) || 0 };
@@ -38235,42 +38420,42 @@ function lintModelSource(source2) {
   let sawCheck = false;
   for (const raw of code.split("\n")) {
     const line2 = raw.trimEnd();
-    const t = line2.trim();
-    if (t === "") continue;
-    if (/^import\b/.test(t)) {
-      if (t !== "import Verity") reasons.push(`only \`import Verity\` is allowed (got \`${t.slice(0, 40)}\`)`);
+    const t2 = line2.trim();
+    if (t2 === "") continue;
+    if (/^import\b/.test(t2)) {
+      if (t2 !== "import Verity") reasons.push(`only \`import Verity\` is allowed (got \`${t2.slice(0, 40)}\`)`);
       sawImport = true;
       continue;
     }
-    if (/^open\b/.test(t)) {
-      if (t !== "open Verity") reasons.push(`only \`open Verity\` is allowed (got \`${t.slice(0, 40)}\`)`);
+    if (/^open\b/.test(t2)) {
+      if (t2 !== "open Verity") reasons.push(`only \`open Verity\` is allowed (got \`${t2.slice(0, 40)}\`)`);
       continue;
     }
-    if (/^namespace\b/.test(t)) {
-      if (!/^namespace Models\.[A-Za-z][A-Za-z0-9_]*$/.test(t)) reasons.push(`namespace must be \`Models.<Name>\` (got \`${t.slice(0, 40)}\`)`);
+    if (/^namespace\b/.test(t2)) {
+      if (!/^namespace Models\.[A-Za-z][A-Za-z0-9_]*$/.test(t2)) reasons.push(`namespace must be \`Models.<Name>\` (got \`${t2.slice(0, 40)}\`)`);
       continue;
     }
-    if (/^end\b/.test(t)) {
-      if (!/^end( Models\.[A-Za-z][A-Za-z0-9_]*)?$/.test(t)) reasons.push(`unexpected \`${t.slice(0, 40)}\``);
+    if (/^end\b/.test(t2)) {
+      if (!/^end( Models\.[A-Za-z][A-Za-z0-9_]*)?$/.test(t2)) reasons.push(`unexpected \`${t2.slice(0, 40)}\``);
       continue;
     }
-    if (/^section\b|^mutual\b/.test(t)) {
-      reasons.push(`\`${t.split(/\s/)[0]}\` is not allowed in a model`);
+    if (/^section\b|^mutual\b/.test(t2)) {
+      reasons.push(`\`${t2.split(/\s/)[0]}\` is not allowed in a model`);
       continue;
     }
-    const hashes = [...t.matchAll(/#/g)];
+    const hashes = [...t2.matchAll(/#/g)];
     for (const h of hashes) {
       const at = h.index ?? 0;
-      if (t[at + 1] === "[") continue;
-      if (at === 0 && /^#eval\s+Verity\.(model|check|checkData|proved)\b/.test(t)) {
-        if (EFFECT_OPERATORS.test(t.slice(5))) reasons.push(`effect operator on an #eval line: \`${t.slice(0, 60)}\``);
-        if (/#eval\s+Verity\.model\b/.test(t)) sawModelHeader = true;
+      if (t2[at + 1] === "[") continue;
+      if (at === 0 && /^#eval\s+Verity\.(model|check|checkData|proved)\b/.test(t2)) {
+        if (EFFECT_OPERATORS.test(t2.slice(5))) reasons.push(`effect operator on an #eval line: \`${t2.slice(0, 60)}\``);
+        if (/#eval\s+Verity\.model\b/.test(t2)) sawModelHeader = true;
         else sawCheck = true;
         continue;
       }
-      reasons.push(`command not allowed: \`${t.slice(Math.max(0, at - 5), at + 40)}\` (only \`#eval Verity.model|check|checkData|proved\` at line start)`);
+      reasons.push(`command not allowed: \`${t2.slice(Math.max(0, at - 5), at + 40)}\` (only \`#eval Verity.model|check|checkData|proved\` at line start)`);
     }
-    if (/^\s/.test(raw) && EFFECT_OPERATORS.test(t) && /\bVerity\./.test(t)) reasons.push(`effect operator near a Verity call: \`${t.slice(0, 60)}\``);
+    if (/^\s/.test(raw) && EFFECT_OPERATORS.test(t2) && /\bVerity\./.test(t2)) reasons.push(`effect operator near a Verity call: \`${t2.slice(0, 60)}\``);
   }
   if (!sawImport) reasons.push("missing `import Verity`");
   if (!sawModelHeader) reasons.push("no `#eval Verity.model` header");
@@ -38288,11 +38473,11 @@ function joinBrokenLiterals(source2) {
   let i2 = 0;
   while (i2 < raw.length) {
     let r = raw[i2];
-    let t = tok[i2];
+    let t2 = tok[i2];
     i2++;
     for (; ; ) {
-      const d = depth + braceDelta(t);
-      const end = t.trimEnd();
+      const d = depth + braceDelta(t2);
+      const end = t2.trimEnd();
       if (!(d > 0 && end.endsWith(",") && i2 < raw.length)) break;
       while (i2 < raw.length && tok[i2].trim() === "") i2++;
       if (i2 >= raw.length) break;
@@ -38301,10 +38486,10 @@ function joinBrokenLiterals(source2) {
       const nextTok = tok[i2];
       const lead = nextTok.length - nextTok.trimStart().length;
       r = r.slice(0, cut) + " " + nextRaw.slice(lead);
-      t = t.slice(0, cut) + " " + nextTok.slice(lead);
+      t2 = t2.slice(0, cut) + " " + nextTok.slice(lead);
       i2++;
     }
-    depth = Math.max(0, depth + braceDelta(t));
+    depth = Math.max(0, depth + braceDelta(t2));
     outRaw.push(r);
   }
   return outRaw.join("\n");
@@ -38576,19 +38761,19 @@ var PURE_METHODS2 = /* @__PURE__ */ new Set([
   "test",
   "match"
 ]);
-function callsOn(text2, name2) {
+function callsOn(text3, name2) {
   const needle = `${name2}.`;
-  for (let i2 = text2.indexOf(needle); i2 >= 0; i2 = text2.indexOf(needle, i2 + 1)) {
-    if (i2 > 0 && IDENT_CHAR2.test(text2[i2 - 1])) continue;
-    const call = CALL_AFTER_DOT.exec(text2.slice(i2 + needle.length));
+  for (let i2 = text3.indexOf(needle); i2 >= 0; i2 = text3.indexOf(needle, i2 + 1)) {
+    if (i2 > 0 && IDENT_CHAR2.test(text3[i2 - 1])) continue;
+    const call = CALL_AFTER_DOT.exec(text3.slice(i2 + needle.length));
     if (call && !PURE_METHODS2.has(call[1])) return true;
   }
   return false;
 }
-function callsDirect(text2, name2) {
+function callsDirect(text3, name2) {
   const needle = `${name2}(`;
-  for (let i2 = text2.indexOf(needle); i2 >= 0; i2 = text2.indexOf(needle, i2 + 1)) {
-    if (i2 > 0 && IDENT_CHAR2.test(text2[i2 - 1])) continue;
+  for (let i2 = text3.indexOf(needle); i2 >= 0; i2 = text3.indexOf(needle, i2 + 1)) {
+    if (i2 > 0 && IDENT_CHAR2.test(text3[i2 - 1])) continue;
     return true;
   }
   return false;
@@ -38610,12 +38795,12 @@ function effectSites(numbered2) {
   const out2 = [];
   for (const [i2, r] of rows.entries()) {
     if (i2 === 0) continue;
-    const t = r.text.trim();
-    if (!t || t.startsWith("//") || t.startsWith("#") || t.startsWith("*")) continue;
-    const onParam = [...params].some((p) => callsOn(t, p) || callsDirect(t, p));
-    const kind2 = EFFECT_LINE2.test(t) || onParam ? "effect" : CONTROL_LINE.test(t) ? "control" : null;
+    const t2 = r.text.trim();
+    if (!t2 || t2.startsWith("//") || t2.startsWith("#") || t2.startsWith("*")) continue;
+    const onParam = [...params].some((p) => callsOn(t2, p) || callsDirect(t2, p));
+    const kind2 = EFFECT_LINE2.test(t2) || onParam ? "effect" : CONTROL_LINE.test(t2) ? "control" : null;
     if (!kind2) continue;
-    out2.push(`L${r.n} [${kind2}] ${t.length > 160 ? t.slice(0, 157) + "\u2026" : t}`);
+    out2.push(`L${r.n} [${kind2}] ${t2.length > 160 ? t2.slice(0, 157) + "\u2026" : t2}`);
     if (out2.length >= MAX_EFFECT_SITES) break;
   }
   return out2;
@@ -38624,7 +38809,7 @@ function starChanged(numbered2, changed) {
   const isChanged = (n2) => !!changed?.some((r) => n2 >= r.from && n2 <= r.to);
   const starred = [];
   let total = 0;
-  const text2 = numbered2.split("\n").map((raw) => {
+  const text3 = numbered2.split("\n").map((raw) => {
     const m = NUMBERED_LINE.exec(raw);
     if (!m) return raw;
     total++;
@@ -38640,43 +38825,43 @@ function starChanged(numbered2, changed) {
     runs.push(i2 === j ? `${starred[i2]}` : `${starred[i2]}\u2013${starred[j]}`);
     i2 = j;
   }
-  return { text: text2, ranges: runs.join(", "), count: starred.length, total };
+  return { text: text3, ranges: runs.join(", "), count: starred.length, total };
 }
-function renderGenerateInput(t, previous) {
+function renderGenerateInput(t2, previous) {
   const parts2 = [];
-  parts2.push(`# Target: ${t.file} \u2014 \`${t.symbol}\`${t.lines ? ` (lines ${t.lines.from}\u2013${t.lines.to})` : ""}`);
-  parts2.push(`Header values: file := "${t.file}", symbol := "${t.symbol}", sha256 := "${t.sha256}", lines := "${t.lines ? `${t.lines.from}-${t.lines.to}` : ""}"`);
-  if (t.reasons.length) parts2.push(`Why it was selected: ${t.reasons.join(" \xB7 ")}`);
-  if (t.properties.length) parts2.push(`Suggested properties: ${t.properties.join(", ")}`);
-  if (t.lens === "security") parts2.push("SECURITY: an attacker outside the trust boundary can drive this code. Follow AN ATTACKER.");
-  if (t.hypotheses?.length) parts2.push(`Hypotheses from the selector (questions to try, not verdicts):
-${t.hypotheses.slice(0, MAX_HYPOTHESES2).map((h) => `  - ${h}`).join("\n")}`);
-  const numbered2 = t.numbered.slice(0, MAX_NUMBERED_BYTES);
+  parts2.push(`# Target: ${t2.file} \u2014 \`${t2.symbol}\`${t2.lines ? ` (lines ${t2.lines.from}\u2013${t2.lines.to})` : ""}`);
+  parts2.push(`Header values: file := "${t2.file}", symbol := "${t2.symbol}", sha256 := "${t2.sha256}", lines := "${t2.lines ? `${t2.lines.from}-${t2.lines.to}` : ""}"`);
+  if (t2.reasons.length) parts2.push(`Why it was selected: ${t2.reasons.join(" \xB7 ")}`);
+  if (t2.properties.length) parts2.push(`Suggested properties: ${t2.properties.join(", ")}`);
+  if (t2.lens === "security") parts2.push("SECURITY: an attacker outside the trust boundary can drive this code. Follow AN ATTACKER.");
+  if (t2.hypotheses?.length) parts2.push(`Hypotheses from the selector (questions to try, not verdicts):
+${t2.hypotheses.slice(0, MAX_HYPOTHESES2).map((h) => `  - ${h}`).join("\n")}`);
+  const numbered2 = t2.numbered.slice(0, MAX_NUMBERED_BYTES);
   const sites = effectSites(numbered2);
-  const push = starChanged(numbered2, t.changed);
+  const push = starChanged(numbered2, t2.changed);
   if (push.count > 0) parts2.push(`A push: it changed ${push.count} of these ${push.total} lines (${push.ranges}), marked \`*|\` below. Look first for a bug the change introduced.`);
   parts2.push("", sites.length ? `Effect sites (STEP 1 \u2014 where the real world can interleave, fail or crash):
 ${sites.map((s) => `  ${s}`).join("\n")}` : "Effect sites: none \u2014 a pure computation (STEP 3: Verity.checkData on concrete inputs).");
   parts2.push("", "```", push.count > 0 ? push.text : numbered2, "```");
-  if (t.effects?.length) {
+  if (t2.effects?.length) {
     parts2.push("", `State this function touches (from the parser; "via" names the helper that does it):
-${t.effects.slice(0, MAX_CONTEXT_EFFECTS).map((e) => `  ${e}`).join("\n")}`);
+${t2.effects.slice(0, MAX_CONTEXT_EFFECTS).map((e) => `  ${e}`).join("\n")}`);
   }
-  if (t.coAccessors?.length) {
+  if (t2.coAccessors?.length) {
     parts2.push("", "# Other functions that touch the same state (STEP 2 \u2014 the second actor)");
-    for (const c of t.coAccessors.slice(0, MAX_CO_ACCESSORS)) {
+    for (const c of t2.coAccessors.slice(0, MAX_CO_ACCESSORS)) {
       parts2.push("", `## ${c.file} \u2014 \`${c.symbol}\` (lines ${c.lines.from}\u2013${c.lines.to})`, `Header values: file := "${c.file}", symbol := "${c.symbol}", sha256 := "${c.sha256}", lines := "${c.lines.from}-${c.lines.to}"`);
       if (c.touches.length) parts2.push(`It touches: ${c.touches.slice(0, MAX_CONTEXT_EFFECTS).join(" \xB7 ")}`);
       parts2.push("```", c.numbered, "```");
     }
   }
-  if (t.helpers?.length) {
+  if (t2.helpers?.length) {
     parts2.push("", "# Helpers it calls (their effects happen at the line that calls them)");
-    for (const h of t.helpers.slice(0, MAX_HELPERS2)) parts2.push("", `## ${h.file} \u2014 \`${h.symbol}\` (lines ${h.lines.from}\u2013${h.lines.to})`, "```", h.numbered, "```");
+    for (const h of t2.helpers.slice(0, MAX_HELPERS2)) parts2.push("", `## ${h.file} \u2014 \`${h.symbol}\` (lines ${h.lines.from}\u2013${h.lines.to})`, "```", h.numbered, "```");
   }
-  if (t.callers?.length) {
+  if (t2.callers?.length) {
     parts2.push("", "# Where it is called (a caller's guard bounds the inputs it can get)");
-    for (const c of t.callers.slice(0, MAX_CALLERS2)) parts2.push("", `## ${c.file}:${c.line}${c.caller ? ` \u2014 in \`${c.caller}\`` : ""}`, "```", c.numbered, "```");
+    for (const c of t2.callers.slice(0, MAX_CALLERS2)) parts2.push("", `## ${c.file}:${c.line}${c.caller ? ` \u2014 in \`${c.caller}\`` : ""}`, "```", c.numbered, "```");
   }
   if (previous) {
     parts2.push("", "# Your previous attempt was not accepted \u2014 the diagnostics say why. Fix it (same model, same properties):", "```lean", previous.source.slice(0, 32 * 1024), "```", "Diagnostics:", "```", previous.error.slice(0, 4e3), "```");
@@ -38771,11 +38956,11 @@ async function generateModel(target, opts) {
     return { ok: false, error: name2 === "TimeoutError" || name2 === "AbortError" ? "timed out" : err2.message };
   }
   const usage = data.usage ? { inputTokens: Number(data.usage.input_tokens ?? 0), outputTokens: Number(data.usage.output_tokens ?? 0) } : null;
-  const text2 = (data.output ?? []).flatMap((o) => o.content ?? []).find((c) => c.type === "output_text")?.text;
-  if (!text2) return { ok: false, error: "no output_text in response", usage };
+  const text3 = (data.output ?? []).flatMap((o) => o.content ?? []).find((c) => c.type === "output_text")?.text;
+  if (!text3) return { ok: false, error: "no output_text in response", usage };
   let parsed;
   try {
-    parsed = JSON.parse(text2);
+    parsed = JSON.parse(text3);
   } catch {
     return { ok: false, error: "answer was not JSON", usage };
   }
@@ -38785,8 +38970,8 @@ async function generateModel(target, opts) {
 // src/lib/prove/replay.ts
 var MAX_SOURCE_BYTES = 96 * 1024;
 var MAX_MODEL_BYTES = 32 * 1024;
-function numberLines(text2, from = 1) {
-  return text2.split("\n").map((l, i2) => `${String(i2 + from).padStart(5)}| ${l}`).join("\n");
+function numberLines(text3, from = 1) {
+  return text3.split("\n").map((l, i2) => `${String(i2 + from).padStart(5)}| ${l}`).join("\n");
 }
 var PY_DECL = /^\s*(?:async\s+)?def\s+([A-Za-z_]\w*)\s*\(/;
 var TS_DECLS = [
@@ -38803,8 +38988,8 @@ function copiedLines(brief) {
   const out2 = /* @__PURE__ */ new Set();
   for (const src of brief.sources) {
     for (const l of (src.content ?? "").split("\n")) {
-      const t = l.trim();
-      if (t) out2.add(t);
+      const t2 = l.trim();
+      if (t2) out2.add(t2);
     }
   }
   return out2;
@@ -38812,8 +38997,8 @@ function copiedLines(brief) {
 function harnessInvokes(texts, symbol, py, copied = /* @__PURE__ */ new Set()) {
   if (!/^[A-Za-z_$][\w$]*$/.test(symbol)) return null;
   let declared = false;
-  for (const t of texts) {
-    for (const line2 of t.split("\n")) {
+  for (const t2 of texts) {
+    for (const line2 of t2.split("\n")) {
       if (declaresSymbol(line2, symbol, py)) {
         declared = true;
         continue;
@@ -38860,9 +39045,9 @@ function extractSymbolBody(source2, symbol, file, range) {
   }
   return null;
 }
-function significantLines(text2) {
+function significantLines(text3) {
   const out2 = [];
-  for (const raw of text2.split("\n")) {
+  for (const raw of text3.split("\n")) {
     const l = raw.trim();
     if (l.length < 12) continue;
     if (/^(\/\/|\/\*|\*|#)/.test(l)) continue;
@@ -38875,7 +39060,7 @@ function verbatimCoverage(symbolBody, texts) {
   const wanted = significantLines(symbolBody);
   if (wanted.length === 0) return { covered: 0, total: 0, ratio: 0 };
   const have = /* @__PURE__ */ new Set();
-  for (const t of texts) for (const l of t.split("\n")) have.add(l.trim());
+  for (const t2 of texts) for (const l of t2.split("\n")) have.add(l.trim());
   const covered = wanted.filter((l) => have.has(l)).length;
   return { covered, total: wanted.length, ratio: covered / wanted.length };
 }
@@ -38887,14 +39072,14 @@ function isTrackedInRoot(root, file) {
 function buildReplayBrief(root, report, property, modelSource, readSource) {
   const sources = (report.header?.abstracts ?? []).map((a) => {
     const read2 = readSource ? readSource(a.file, MAX_SOURCE_BYTES) : isTrackedInRoot(root, a.file) ? readRegularFileInRoot(root, a.file, MAX_SOURCE_BYTES) : { ok: false, reason: "not tracked by git \u2014 models may only abstract tracked source" };
-    const text2 = read2.ok ? read2.content : "";
+    const text3 = read2.ok ? read2.content : "";
     return {
       file: a.file,
       symbol: a.symbol,
-      numbered: text2 ? numberLines(text2) : `(could not read ${a.file}: ${read2.ok ? "" : read2.reason})`,
-      symbolBody: text2 ? extractSymbolBody(text2, a.symbol, a.file, a.lines) : null,
+      numbered: text3 ? numberLines(text3) : `(could not read ${a.file}: ${read2.ok ? "" : read2.reason})`,
+      symbolBody: text3 ? extractSymbolBody(text3, a.symbol, a.file, a.lines) : null,
       lines: a.lines,
-      content: text2
+      content: text3
     };
   });
   return { model: report.model, property, modelSource: modelSource.slice(0, MAX_MODEL_BYTES), sources };
@@ -38976,7 +39161,7 @@ function parseReplayOutput(output) {
   let executedCalls = 0;
   const shellTexts = [];
   const outputTexts = [];
-  let text2 = null;
+  let text3 = null;
   for (const item of output) {
     if (item.type === "shell_call") {
       shellCalls++;
@@ -38991,14 +39176,14 @@ function parseReplayOutput(output) {
         if (typeof o.stderr === "string" && o.stderr) outputTexts.push(o.stderr);
       }
     } else if (item.type === "message" && Array.isArray(item.content)) {
-      const t = item.content.find((c) => c.type === "output_text")?.text;
-      if (typeof t === "string") text2 = t;
+      const t2 = item.content.find((c) => c.type === "output_text")?.text;
+      if (typeof t2 === "string") text3 = t2;
     }
   }
   let claim = null;
-  if (text2) {
+  if (text3) {
     try {
-      const o = JSON.parse(text2);
+      const o = JSON.parse(text3);
       const verdict = o.verdict;
       if (verdict === "reproduced" || verdict === "diverged" || verdict === "unreplayable") {
         claim = {
@@ -39016,7 +39201,7 @@ function parseReplayOutput(output) {
 var RESULT_LINE = /REPLAY_RESULT=(reproduced|diverged)\b/g;
 function printedResult(outputTexts) {
   let last = null;
-  for (const t of outputTexts) for (const m of t.matchAll(RESULT_LINE)) last = m[1];
+  for (const t2 of outputTexts) for (const m of t2.matchAll(RESULT_LINE)) last = m[1];
   return last;
 }
 var RESULT_MISSING = "the harness never printed REPLAY_RESULT=reproduced on its own stdout \u2014 the verdict was the model's word, not the run's";
@@ -39057,7 +39242,7 @@ function judgeReplay(brief, parsed) {
     return { claimed, verdict: "unverified", reason: parsed.claim.reason, downgrade: RESULT_MISSING, verbatim };
   }
   const copied = copiedLines(brief);
-  if (claimed === "reproduced" && !texts.some((t) => t.split("\n").some((l) => !copied.has(l.trim()) && l.includes("diverged")))) {
+  if (claimed === "reproduced" && !texts.some((t2) => t2.split("\n").some((l) => !copied.has(l.trim()) && l.includes("diverged")))) {
     return { claimed, verdict: "unverified", reason: parsed.claim.reason, downgrade: FIXED_VERDICT, verbatim };
   }
   if (claimed === "reproduced" && primary && harnessInvokes(texts, primary.symbol, /\.py$/.test(primary.file), copied) === false) {
@@ -39418,10 +39603,10 @@ function semanticFingerprint(numbered2) {
   const kept = [];
   for (const raw of numbered2.split("\n")) {
     const line2 = raw.replace(/^\s*\d+\| ?/, "");
-    const t = line2.trim();
-    if (!t || t.startsWith("//") || t.startsWith("#") || t.startsWith("*") || t.startsWith("/*")) continue;
-    if (LOG_LINE.test(t)) continue;
-    kept.push(t.replace(/\s+/g, " "));
+    const t2 = line2.trim();
+    if (!t2 || t2.startsWith("//") || t2.startsWith("#") || t2.startsWith("*") || t2.startsWith("/*")) continue;
+    if (LOG_LINE.test(t2)) continue;
+    kept.push(t2.replace(/\s+/g, " "));
   }
   return (0, import_node_crypto19.createHash)("sha256").update(kept.join("\n")).digest("hex");
 }
@@ -40311,7 +40496,7 @@ var MAX_TURNS2 = 14;
 var VERDICTS = ["REAL", "REAL-LOW", "PREVENTED", "ARTIFACT", "UNSURE"];
 var verdictOf = (v) => typeof v === "string" && VERDICTS.includes(v) ? v : null;
 var introducedOf = (v) => v === "yes" || v === "no" ? v : "unknown";
-var text = (v, n2) => typeof v === "string" ? v.slice(0, n2) : "";
+var text2 = (v, n2) => typeof v === "string" ? v.slice(0, n2) : "";
 function verifyPost(auth3) {
   return async (body2, timeoutMs) => {
     const res = await apiRequest({
@@ -40367,8 +40552,8 @@ async function verifyFinding(input, opts) {
     const res = await opts.post({ ...body2, remaining_ms: remaining() }, Math.max(1, remaining()));
     if (!res.ok) return end("failed", { error: res.error.slice(0, 200) });
     const d = res.data;
-    if (d.enabled === false) return end("disabled", { error: text(d.reason, 60) });
-    if (d.error && typeof d.error === "object") return end("failed", { error: text(d.error.code, 60) || "SERVICE_ERROR" });
+    if (d.enabled === false) return end("disabled", { error: text2(d.reason, 60) });
+    if (d.error && typeof d.error === "object") return end("failed", { error: text2(d.error.code, 60) || "SERVICE_ERROR" });
     rounds = typeof d.round === "number" && Number.isInteger(d.round) && d.round >= 0 ? d.round : rounds + 1;
     if (typeof d.cost_usd === "number") {
       if (!Number.isFinite(d.cost_usd) || d.cost_usd < 0) return end("failed", { error: "invalid cost" });
@@ -40376,17 +40561,17 @@ async function verifyFinding(input, opts) {
     } else unpriced++;
     if (d.done) {
       const a = d.answer;
-      if (!a) return end("failed", { error: text(d.error, 60) || "no verdict" });
+      if (!a) return end("failed", { error: text2(d.error, 60) || "no verdict" });
       const verdict = verdictOf(a.verdict);
       if (!verdict) return end("failed", { error: "unknown verdict" });
       return end("answered", {
         verdict,
         claimed: verdictOf(a.claimed),
         introduced: introducedOf(a.introduced),
-        trigger: text(a.trigger, 400),
+        trigger: text2(a.trigger, 400),
         preventedBy: typeof a.prevented_by === "string" ? a.prevented_by.slice(0, 600) : null,
-        effect: text(a.effect, 600),
-        reason: text(a.reason, 2e3),
+        effect: text2(a.effect, 600),
+        reason: text2(a.reason, 2e3),
         quotes: (Array.isArray(a.quotes) ? a.quotes : []).slice(0, 12).flatMap((q) => {
           const o = q ?? {};
           return typeof o.path === "string" && typeof o.text === "string" ? [{ path: o.path.slice(0, 400), text: o.text.slice(0, 600), witnessed: o.witnessed === true }] : [];
@@ -40668,17 +40853,17 @@ function parsePrIntent(command) {
 }
 var TRIVIAL_INTENT = /^(wip|tmp|temp|test|fix|chore|amend|\.+|fixup!.*|squash!.*|merge\b.*)$/i;
 var SHELL_PLUMBING = /\$\(|`|<<-?\s*['"]?[A-Za-z_]/;
-function isSubstantiveIntent(text2) {
-  if (!text2) return false;
-  const t = text2.trim();
-  if (t.length < 12) return false;
-  if (TRIVIAL_INTENT.test(t)) return false;
-  if (SHELL_PLUMBING.test(t)) return false;
+function isSubstantiveIntent(text3) {
+  if (!text3) return false;
+  const t2 = text3.trim();
+  if (t2.length < 12) return false;
+  if (TRIVIAL_INTENT.test(t2)) return false;
+  if (SHELL_PLUMBING.test(t2)) return false;
   return true;
 }
 function extractStatedIntent(moment, command, pushedMessages = null) {
-  const text2 = moment === "pre-commit" ? parseCommitMessage(command) : parsePrIntent(command) ?? pushedMessages;
-  return isSubstantiveIntent(text2) ? text2 : null;
+  const text3 = moment === "pre-commit" ? parseCommitMessage(command) : parsePrIntent(command) ?? pushedMessages;
+  return isSubstantiveIntent(text3) ? text3 : null;
 }
 function hasBlockingFinding(response, sentFiles) {
   return ofThisChange(response, sentFiles).some((f) => SERIOUS.has(String(f.severity ?? "").toLowerCase()));
@@ -41101,7 +41286,7 @@ async function runGuard(opts, globals) {
       properties: formalOutcome.properties?.map((p) => `${p.id}:${p.result}`) ?? [],
       findings: formalOutcome.findings.map((f) => `${f.property}:${f.verdict}`),
       // Review effort "max" models more than one function: each one, and why the search stopped early.
-      targets: (formalOutcome.targets ?? []).map((t) => `${t.file}#${t.symbol}:${t.status}${t.skip ? `(${t.skip})` : ""}`),
+      targets: (formalOutcome.targets ?? []).map((t2) => `${t2.file}#${t2.symbol}:${t2.status}${t2.skip ? `(${t2.skip})` : ""}`),
       stopped_at: formalOutcome.stoppedAt?.skip ?? null,
       // Decision 81: what each property rests on (a rule, or "line"), what was
       // sent back or dropped as ungrounded, and which counterexamples lack their
@@ -41604,10 +41789,10 @@ var utcDay2 = (d) => d.toISOString().slice(0, 10);
 var DAY_MS2 = 864e5;
 function plausibleDay(day, now) {
   if (!DAY.test(day)) return false;
-  const t = Date.parse(`${day}T00:00:00Z`);
-  if (Number.isNaN(t) || new Date(t).toISOString().slice(0, 10) !== day) return false;
+  const t2 = Date.parse(`${day}T00:00:00Z`);
+  if (Number.isNaN(t2) || new Date(t2).toISOString().slice(0, 10) !== day) return false;
   const today2 = Date.UTC(now.getUTCFullYear(), now.getUTCMonth(), now.getUTCDate());
-  return t >= today2 - MAX_RUN_AGE_DAYS * DAY_MS2 && t <= today2 + DAY_MS2;
+  return t2 >= today2 - MAX_RUN_AGE_DAYS * DAY_MS2 && t2 <= today2 + DAY_MS2;
 }
 function readPending(now) {
   try {
@@ -41761,21 +41946,21 @@ var PALETTE = {
   glow: [220, 255, 240],
   text: [235, 238, 240]
 };
-function styles(t) {
-  const fg = (c, basic) => !t.color ? "" : t.truecolor ? `\x1B[38;2;${c.join(";")}m` : basic;
+function styles(t2) {
+  const fg = (c, basic) => !t2.color ? "" : t2.truecolor ? `\x1B[38;2;${c.join(";")}m` : basic;
   return {
-    reset: t.color ? "\x1B[0m" : "",
-    bold: t.color ? "\x1B[1m" : "",
+    reset: t2.color ? "\x1B[0m" : "",
+    bold: t2.color ? "\x1B[1m" : "",
     green: fg(PALETTE.green, "\x1B[32m"),
     teal: fg(PALETTE.teal, "\x1B[36m"),
     gray: fg(PALETTE.gray, "\x1B[90m"),
     faint: fg(PALETTE.faint, "\x1B[90m"),
-    yellow: t.color ? "\x1B[33m" : "",
-    rgb: (c) => t.truecolor ? `\x1B[38;2;${c.join(";")}m` : ""
+    yellow: t2.color ? "\x1B[33m" : "",
+    rgb: (c) => t2.truecolor ? `\x1B[38;2;${c.join(";")}m` : ""
   };
 }
-var mix = (a, b, t) => [0, 1, 2].map((i2) => Math.round(a[i2] + (b[i2] - a[i2]) * t));
-var ease = (t) => 1 - Math.pow(1 - t, 3);
+var mix = (a, b, t2) => [0, 1, 2].map((i2) => Math.round(a[i2] + (b[i2] - a[i2]) * t2));
+var ease = (t2) => 1 - Math.pow(1 - t2, 3);
 var ANSI = /\x1b\[[0-9;?]*[A-Za-z]/g;
 function visibleWidth(s) {
   return [...s.replace(ANSI, "")].length;
@@ -41796,8 +41981,8 @@ function fitLine(s, width) {
   }
   return out2 + "\u2026" + (s.includes("\x1B[") ? "\x1B[0m" : "");
 }
-function wrapText(text2, width, hang = "") {
-  const words = text2.split(/\s+/).filter(Boolean);
+function wrapText(text3, width, hang = "") {
+  const words = text3.split(/\s+/).filter(Boolean);
   if (words.length === 0) return [""];
   const indent = visibleWidth(hang) < width - 1 ? hang : "";
   const lines = [];
@@ -41854,12 +42039,12 @@ var Screen = class {
     this.term = term;
     this.s = styles(term);
   }
-  write(text2) {
-    this.term.out.write(text2);
+  write(text3) {
+    this.term.out.write(text3);
   }
   /** One frame: one write, inside a synchronized update when motion is on. */
-  frame(text2) {
-    this.write(this.term.motion ? SYNC_ON + text2 + SYNC_OFF : text2);
+  frame(text3) {
+    this.write(this.term.motion ? SYNC_ON + text3 + SYNC_OFF : text3);
   }
   hideCursor() {
     if (!this.term.screen || this.hidden) return;
@@ -41976,8 +42161,8 @@ var Screen = class {
     this.hideCursor();
     const start2 = Date.now();
     const draw = () => {
-      const t = (Math.sin((Date.now() - start2) / 1400 * Math.PI * 2 - Math.PI / 2) + 1) / 2;
-      const dot = this.term.truecolor ? `${this.s.rgb(mix(PALETTE.faint, PALETTE.green, t))}\u25CF${this.s.reset}` : `${t > 0.5 ? this.s.green : this.s.faint}\u25CF${this.s.reset}`;
+      const t2 = (Math.sin((Date.now() - start2) / 1400 * Math.PI * 2 - Math.PI / 2) + 1) / 2;
+      const dot = this.term.truecolor ? `${this.s.rgb(mix(PALETTE.faint, PALETTE.green, t2))}\u25CF${this.s.reset}` : `${t2 > 0.5 ? this.s.green : this.s.faint}\u25CF${this.s.reset}`;
       const line2 = `${prefix}${dot} ${label2()} ${this.s.gray}${clock(start2)}${this.s.reset}`;
       this.frame(CLEAR_LINE + fitLine(line2, this.term.columns() - 1));
     };
@@ -42001,9 +42186,9 @@ var Screen = class {
     this.hideCursor();
     const start2 = Date.now();
     for (; ; ) {
-      const t = Math.min(1, (Date.now() - start2) / ms);
-      this.frame(CLEAR_LINE + fitLine(prefix + render2(targets.map((n2) => Math.round(n2 * ease(t)))), width));
-      if (t >= 1) break;
+      const t2 = Math.min(1, (Date.now() - start2) / ms);
+      this.frame(CLEAR_LINE + fitLine(prefix + render2(targets.map((n2) => Math.round(n2 * ease(t2)))), width));
+      if (t2 >= 1) break;
       await sleep2(30);
     }
     this.write("\n");
@@ -42014,17 +42199,17 @@ var sleep2 = (ms) => new Promise((resolve10) => setTimeout(resolve10, ms));
 
 // src/lib/ui/rail-motion.ts
 async function drawLanguages(rail, input) {
-  const t = rail.screen.term;
+  const t2 = rail.screen.term;
   const s = rail.screen.s;
   const langs = input.map((l) => ({ name: terminalText(l.name, 40), pct: l.pct }));
-  if (!t.screen || langs.length === 0) {
+  if (!t2.screen || langs.length === 0) {
     if (langs.length) rail.line(langs.map((l) => `${l.name} ${l.pct}%`).join(", "));
     return;
   }
-  const width = Math.max(10, Math.min(44, t.columns() - 8));
+  const width = Math.max(10, Math.min(44, t2.columns() - 8));
   const tones = [s.green, s.teal, s.gray];
   const bar = (shown) => {
-    const track = t.color ? `${s.faint}\u2501` : "\u2500";
+    const track = t2.color ? `${s.faint}\u2501` : "\u2500";
     let out2 = "";
     let cell = 0;
     langs.forEach((l, i2) => {
@@ -42035,7 +42220,7 @@ async function drawLanguages(rail, input) {
     return out2 + s.reset;
   };
   const prefix = `${s.gray}\u2502${s.reset}  `;
-  if (t.motion) {
+  if (t2.motion) {
     rail.screen.hideCursor();
     const start2 = Date.now();
     for (; ; ) {
@@ -42053,7 +42238,7 @@ async function drawLanguages(rail, input) {
   rail.emitLine(prefix + langs.map((l, i2) => `${tones[Math.min(i2, 2)]}\u25CF${s.reset} ${l.name} ${s.gray}${l.pct}%${s.reset}`).join("   "));
 }
 async function drawRules(rail, input) {
-  const t = rail.screen.term;
+  const t2 = rail.screen.term;
   const s = rail.screen.s;
   const w = rail.lineWidth();
   const rules = input.map((r) => ({
@@ -42063,7 +42248,7 @@ async function drawRules(rail, input) {
     basis: terminalText(r.basis, 300)
   }));
   for (const r of rules) {
-    if (!t.screen) {
+    if (!t2.screen) {
       rail.emitLine(`  - ${r.id}: ${r.description}`);
       rail.emitLine(`    Applies: ${r.scope} \xB7 ${r.basis}`);
       continue;
@@ -42075,7 +42260,7 @@ async function drawRules(rail, input) {
       ...desc.map((d) => `${edge}    ${c2}${d}${s.reset}`),
       `${edge}    ${c3}${r.scope} \xB7 from ${r.basis}${s.reset}`
     ];
-    if (!t.motion || !t.truecolor) {
+    if (!t2.motion || !t2.truecolor) {
       for (const l of lines(s.green, "", s.gray)) rail.emitLine(l);
       continue;
     }
@@ -42123,16 +42308,16 @@ function lightRow(screen, row2, r, center) {
   return out2 + screen.s.reset;
 }
 async function wordmark(screen, opts) {
-  const t = screen.term;
-  if (!t.screen) return;
+  const t2 = screen.term;
+  if (!t2.screen) return;
   screen.write("\n");
-  if (t.columns() < 50) {
+  if (t2.columns() < 50) {
     screen.write(`  ${screen.s.green}Verity${screen.s.reset}
 
 `);
     return;
   }
-  if (!opts.reveal || !t.motion || !t.truecolor) {
+  if (!opts.reveal || !t2.motion || !t2.truecolor) {
     for (const row2 of WORDMARK) screen.write(`  ${screen.s.green}${row2}${screen.s.reset}
 `);
   } else {
@@ -42150,7 +42335,7 @@ async function wordmark(screen, opts) {
     }
     screen.showCursor();
   }
-  if (TAGLINE.length + 2 <= t.columns()) screen.write(`  ${screen.s.gray}${TAGLINE}${screen.s.reset}
+  if (TAGLINE.length + 2 <= t2.columns()) screen.write(`  ${screen.s.gray}${TAGLINE}${screen.s.reset}
 `);
   screen.write("\n");
 }
@@ -42230,23 +42415,23 @@ var Rail = class {
    * yellow: something the reader must act on.
    */
   line(raw, tone = "muted") {
-    const text2 = terminalText(raw, Number.MAX_SAFE_INTEGER);
+    const text3 = terminalText(raw, Number.MAX_SAFE_INTEGER);
     if (!this.t.screen) {
-      this.emit(`  ${text2}`);
+      this.emit(`  ${text3}`);
       return;
     }
     const color = tone === "muted" ? this.s.gray : tone === "warn" ? this.s.yellow : "";
     const reset = tone === "plain" ? "" : this.s.reset;
-    for (const l of wrapText(text2, this.width() - 3)) this.emit(`${this.s.gray}\u2502${this.s.reset}  ${color}${l}${reset}`);
+    for (const l of wrapText(text3, this.width() - 3)) this.emit(`${this.s.gray}\u2502${this.s.reset}  ${color}${l}${reset}`);
   }
   /**
    * A line that belongs to the NEXT step, said before it starts (where a token
    * is about to go). On a screen it sits on the rail; in a log it stands alone,
    * so it does not read as a detail of the step above.
    */
-  note(text2) {
-    if (this.t.screen) this.line(text2);
-    else this.emit(terminalText(text2, Number.MAX_SAFE_INTEGER));
+  note(text3) {
+    if (this.t.screen) this.line(text3);
+    else this.emit(terminalText(text3, Number.MAX_SAFE_INTEGER));
   }
   /** Key hints: Enter send    v view the profile    n skip (a screen only). */
   keys(pairs) {
@@ -42293,8 +42478,8 @@ var Rail = class {
     this.block++;
   }
   /** A finished sub-result under the active step (a screen only). */
-  ticked(text2) {
-    if (this.t.screen) this.emit(`${this.s.gray}\u2502${this.s.reset}  ${this.s.green}\u2713${this.s.reset} ${text2}`);
+  ticked(text3) {
+    if (this.t.screen) this.emit(`${this.s.gray}\u2502${this.s.reset}  ${this.s.green}\u2713${this.s.reset} ${text3}`);
   }
   /** The end of the rail, and the one next step. */
   end(title, next) {
@@ -42999,7 +43184,7 @@ function classifyCodacyConfig(root = repoRoot()) {
     return "foreign";
   }
   const tools = typeof parsed === "object" && parsed !== null ? parsed.tools : void 0;
-  const pointsAtVerity2 = Array.isArray(tools) && tools.some((t) => typeof t === "object" && t !== null && t.localConfigurationFile === VERITY_ESLINT_LOCAL_PATH);
+  const pointsAtVerity2 = Array.isArray(tools) && tools.some((t2) => typeof t2 === "object" && t2 !== null && t2.localConfigurationFile === VERITY_ESLINT_LOCAL_PATH);
   if (!pointsAtVerity2) return "foreign";
   const eslint = readRegularFileInRoot(root, VERITY_ESLINT_CONFIG_FILE, MAX_BYTES);
   return eslint.ok && eslint.content.startsWith(VERITY_ESLINT_FIRST_LINE) ? "verity" : "foreign";
@@ -43272,7 +43457,7 @@ async function hooksStep(ui, ctx) {
 // src/commands/init/standard.ts
 var import_node_fs77 = require("node:fs");
 var import_node_path66 = require("node:path");
-var import_yaml9 = __toESM2(require_dist());
+var import_yaml10 = __toESM2(require_dist());
 
 // src/lib/catalogue-client.ts
 async function fetchCatalogue(opts) {
@@ -43310,7 +43495,7 @@ async function choosePacks(globals) {
   }
 }
 function sayPacks(ui, plan) {
-  ui.rail.line(terminalText(`Review packs: ${describePacks(plan.packs)}`, 400));
+  ui.rail.line(terminalText(`Review packs: ${describePacks(plan.packs)}. What each holds: verity standard catalogue`, 400));
 }
 
 // src/commands/init/team-standard.ts
@@ -43369,11 +43554,21 @@ function sayAdopted(ui, team) {
 }
 
 // src/commands/init/standard.ts
+function usesReviewPacks() {
+  const raw = readRepoFile(STANDARD_FILE);
+  if (raw === null) return true;
+  try {
+    const content = (0, import_yaml10.parse)(raw);
+    return Array.isArray(content?.extends);
+  } catch {
+    return true;
+  }
+}
 function hasProjectRules() {
   const raw = readRepoFile(STANDARD_FILE);
   if (raw === null) return true;
   try {
-    const content = (0, import_yaml9.parse)(raw);
+    const content = (0, import_yaml10.parse)(raw);
     const rules = content?.custom_patterns;
     if (rules === void 0 || rules === null) return false;
     return !Array.isArray(rules) || rules.length > 0;
@@ -43424,7 +43619,7 @@ function localStandardProblem() {
   if (raw === null) return `${STANDARD_FILE} is a link, not a regular file, or larger than 512 KB.`;
   let parsed;
   try {
-    parsed = (0, import_yaml9.parse)(raw);
+    parsed = (0, import_yaml10.parse)(raw);
   } catch (err2) {
     return `${STANDARD_FILE} is not valid YAML: ${terminalText(err2 instanceof Error ? err2.message : String(err2), 200)}`;
   }
@@ -43433,7 +43628,7 @@ function localStandardProblem() {
   if (!valid.ok) return `${STANDARD_FILE} is not a Standard the service accepts: ${terminalText(valid.error, 200)}`;
   return null;
 }
-function removeDerivedStandard() {
+function removeLocalStandard() {
   const path = projectPath(STANDARD_FILE);
   try {
     const folder = (0, import_node_fs77.lstatSync)((0, import_node_path66.dirname)(path));
@@ -43442,6 +43637,19 @@ function removeDerivedStandard() {
   } catch {
   }
 }
+function setLocalStandardAside(now = /* @__PURE__ */ new Date(), remove = removeLocalStandard) {
+  const raw = readRepoFile(STANDARD_FILE);
+  if (raw === null) return { ok: false, message: `${STANDARD_FILE} is a link, not a regular file, or larger than 512 KB, so it was not set aside.` };
+  let path;
+  try {
+    path = keepStandardCopy(raw, now);
+  } catch (err2) {
+    return { ok: false, message: `Could not keep a copy of ${STANDARD_FILE} (${terminalText(err2 instanceof Error ? err2.message : String(err2), 200)}), so it was not set aside.` };
+  }
+  remove();
+  if ((0, import_node_fs77.existsSync)(projectPath(STANDARD_FILE))) return { ok: false, message: `Could not remove ${STANDARD_FILE} after copying it to ${path}.` };
+  return { ok: true, path };
+}
 async function standardStep(ui, ctx) {
   const { rail } = ui;
   const s = ui.screen.s;
@@ -43470,7 +43678,7 @@ async function standardStep(ui, ctx) {
       sayAdopted(ui, again);
       return end({ source: "adopted", version: again.version, profile: profile2 });
     }
-    removeDerivedStandard();
+    removeLocalStandard();
     if (again.status === "write-failed" || again.status === "unavailable") rail.line(terminalText(again.reason, 300));
     return { ...leaveTeamStandard(again.status === "write-failed" ? "write-failed" : "unavailable", null), profile: profile2 };
   };
@@ -43501,12 +43709,25 @@ async function standardStep(ui, ctx) {
     rail.line(team2.status === "none" ? `There is no Standard on the service either, so reviews have no rules. Fix ${STANDARD_FILE}, or delete it, then run verity init again.` : team2.status === "unavailable" ? `The Verity service did not answer (${terminalText(team2.reason, 200)}), so no Standard is confirmed. Fix ${STANDARD_FILE}, then run verity init again.` : `No Standard on the service was looked up. Fix ${STANDARD_FILE}, or sign in, then run verity init again.`);
     return end({ source: "none", version: null, profile: notAsked });
   };
+  if (ctx.standard === "new" && (0, import_node_fs77.lstatSync)(projectPath(STANDARD_FILE), { throwIfNoEntry: false })) {
+    const aside = setLocalStandardAside();
+    if (!aside.ok) {
+      rail.warn("Could not set your Standard aside for a new one");
+      rail.line(terminalText(aside.message, 300));
+      rail.line("Your Standard is as it was. Fix the cause, or move the file yourself, then run verity init --standard new again.");
+      return end({ source: "none", version: null, profile: notAsked });
+    }
+    rail.done(`Set your Standard aside ${s.gray}\xB7 a copy is in ${aside.path}${s.reset}`);
+  }
   if ((0, import_node_fs77.existsSync)(projectPath(STANDARD_FILE))) {
     const problem = localStandardProblem();
     if (problem !== null) return unusableHere(problem);
     const sync = await pushLocalStandardIfMissing(ctx.globals);
     rail.done("Kept your Standard");
     rail.line(`${STANDARD_FILE} is already here, so this run leaves it as it is. Edit it there, then share the change: verity standard push`);
+    if (!usesReviewPacks()) {
+      rail.line("It does not use review packs. To move it to packs and keep your rules: verity standard push. To build a new one: verity init --standard new", "muted");
+    }
     if (sync.status === "pushed") {
       rail.line(sync.version !== null ? `It was only on this machine. It is shared now as v${sync.version}.` : "It is only on this machine:", sync.version !== null ? "muted" : "warn");
       for (const line2 of sync.lines) if (!line2.startsWith("Standard pushed")) rail.line(terminalText(line2, 600), "warn");
@@ -44191,7 +44412,7 @@ async function recordAnswers(ui, momentIds, telemetry, completed) {
       moments: momentIds,
       ...telemetry ? { telemetry } : {},
       // A failed run also clears an earlier stamp: "done" describes this checkout now.
-      init: completed ? { completed_at: (/* @__PURE__ */ new Date()).toISOString(), cli_version: true ? "0.35.1-experimental.19ce23f" : "dev" } : void 0
+      init: completed ? { completed_at: (/* @__PURE__ */ new Date()).toISOString(), cli_version: true ? "0.35.2" : "dev" } : void 0
     });
   } catch (err2) {
     ui.rail.line(`Could not record the setup answers: ${terminalText(err2.message, 200)}`, "warn");
@@ -44656,13 +44877,13 @@ function registerTaskCommands(program2) {
       return;
     }
     printInfo("Tasks:");
-    for (const t of tasks) {
-      const status = t.status ?? "active";
+    for (const t2 of tasks) {
+      const status = t2.status ?? "active";
       const statusTag = status !== "active" ? ` [${status}]` : "";
-      const runs = t.run_count;
-      const ago = t.last_run_at ? timeAgo2(t.last_run_at) : "";
+      const runs = t2.run_count;
+      const ago = t2.last_run_at ? timeAgo2(t2.last_run_at) : "";
       const detail2 = runs != null ? `${runs} run${runs === 1 ? "" : "s"}${ago ? ", " + ago : ""}` : "";
-      printInfo(`  ${t.label}${statusTag}${detail2 ? "  (" + detail2 + ")" : ""}`);
+      printInfo(`  ${t2.label}${statusTag}${detail2 ? "  (" + detail2 + ")" : ""}`);
     }
   });
   task.command("close").description("Close the current task (next run starts a new task)").option("--id <taskId>", "Close a specific task by ID").action(async (opts) => {
@@ -44893,11 +45114,11 @@ function resolve8(token, treePaths) {
   const matches = treePaths.filter((p) => p.endsWith(suffix));
   return matches.length === 1 ? matches[0] : null;
 }
-function deriveFileGlobs(text2, treePaths) {
-  if (!text2 || treePaths.length === 0) return [];
+function deriveFileGlobs(text3, treePaths) {
+  if (!text3 || treePaths.length === 0) return [];
   const out2 = [];
   const seen = /* @__PURE__ */ new Set();
-  for (const raw of text2.match(PATH_TOKEN) ?? []) {
+  for (const raw of text3.match(PATH_TOKEN) ?? []) {
     const token = clean(raw);
     if (!token) continue;
     const path = resolve8(token, treePaths);
@@ -44967,15 +45188,15 @@ function registerReflectCommand(program2) {
         }
         if (!taskId) {
           const recent = mem.data.recent_tasks ?? [];
-          for (const t of recent) {
-            const label2 = t.label;
+          for (const t2 of recent) {
+            const label2 = t2.label;
             if (isMetaTaskLabel(label2)) continue;
-            const lastRunAt = t.last_run_at;
+            const lastRunAt = t2.last_run_at;
             if (lastRunAt) {
               const age = Date.now() - new Date(lastRunAt).getTime();
               if (Number.isFinite(age) && age > STALE_TASK_MS) continue;
             }
-            taskId = t.id;
+            taskId = t2.id;
             taskResolution = "recent";
             break;
           }
@@ -46114,10 +46335,10 @@ function registerLeanCommand(program2) {
 }
 
 // src/cli.ts
-program.name("verity").description("CLI for Verity quality gate service").version("0.35.1-experimental.19ce23f").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) => {
+program.name("verity").description("CLI for Verity quality gate service").version("0.35.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) => {
   const isTelemetryHelper = actionCommand.name() === "headers" && actionCommand.parent?.name() === "telemetry";
   if (!isTelemetryHelper) {
-    installStderrLog(actionCommand.name(), process.argv.slice(2), "0.35.1-experimental.19ce23f");
+    installStderrLog(actionCommand.name(), process.argv.slice(2), "0.35.2");
   }
   setUserNamedServiceUrl(program.opts().serviceUrl);
   try {