arkgate 4.8.21 → 4.8.22

package/bin/lib/invariant-coverage.mjs

@@ -133,7 +133,7 @@ function matchTestTitle(content, id) {
     if (!id)
         return undefined;
     const escaped = escapeRegExp(id);
-    const re = new RegExp(`(?:describe|it|test|context)\\s*\\(\\s*(['"\`])([^'"\`]*${escaped}[^'"\`]*)\\1`, 'i');
+    const re = new RegExp(`(?:describe|it|test|context)\\s*\\(\\s*(['"\`])((?:(?!\\1)[^\\\\]|\\\\.)*?${escaped}(?:(?!\\1)[^\\\\]|\\\\.)*?)\\1`, 'i');
     const match = re.exec(maskNonCode(content, false));
     const title = match?.[2];
     return title === undefined ? undefined : title;
@@ -160,7 +160,7 @@ function declarationShape(content, name) {
         },
         {
             shape: 'const',
-            source: `(?:^|[\\s;{}])export\\s+(?:const|let|var)\\s+${n}\\s*=`,
+            source: `(?:^|[\\s;{}])export\\s+(?:const|let|var)\\s+${n}(?:\\s*:(?:[^=]|=>)+?)?\\s*=(?!>)`,
         },
         {
             shape: 'type',
@@ -382,15 +382,36 @@ function rankCoverage(invariant, files, scanTests = true) {
             }
         }
     }
-    const best = testTitle
+    let best = testTitle
         ? { kind: 'test-title', file: testTitle.file, title: testTitle.title }
         : declaration
             ? { kind: 'declaration', file: declaration.file, shape: declaration.shape }
             : mention
                 ? { kind: 'mention-only', file: mention.file, context: mention.context }
                 : { kind: 'none' };
+    if (best.kind === 'mention-only' &&
+        best.context === 'comment' &&
+        needle &&
+        symbolInCodeElsewhere(files.fileContents, tests, needle.name, best.file)) {
+        best = { kind: 'declaration-miss', symbol: needle.name };
+    }
     return { best, ...(testTitle ? { testTitle } : {}), ...(declaration ? { declaration } : {}) };
 }
+/** True when `name` survives comment/string masking in some non-test file other than `mentionFile`. */
+function symbolInCodeElsewhere(fileContents, tests, name, mentionFile) {
+    const needle = new RegExp(`(?:^|[^A-Za-z0-9_$])${escapeRegExp(name)}(?=$|[^A-Za-z0-9_$])`);
+    const mention = normalizePath(mentionFile);
+    for (const file of Object.keys(fileContents)) {
+        if (tests.has(normalizePath(file)) || normalizePath(file) === mention)
+            continue;
+        const content = fileContents[file];
+        if (!content)
+            continue;
+        if (needle.test(maskNonCode(content, true)))
+            return true;
+    }
+    return false;
+}
 /**
  * Best coverage evidence for `invariant` in `files`.
  * test-title beats a declaration; a declaration beats a bare mention; a bare
@@ -409,6 +430,7 @@ export function countsAsCoverage(ev) {
         case 'declaration':
             return true;
         case 'mention-only':
+        case 'declaration-miss':
         case 'none':
             return false;
     }
@@ -434,6 +456,8 @@ export function describeCoverage(invariant, ev) {
             return `found \`${ev.shape} ${declaredLabel(invariant)}\` in ${ev.file}`;
         case 'mention-only':
             return `${invariant.id} appears only in ${mentionWhere(ev.context)} in ${ev.file}; put it in a describe/it title`;
+        case 'declaration-miss':
+            return `no declaration matched \`${ev.symbol}\``;
         case 'none':
             return 'no scanned test names it in a describe/it title and no declared symbol was found';
     }

package/dist/{diagnosticCatalog-B7BXlet6.d.ts → diagnosticCatalog-WD2TPSwZ.d.ts}

@@ -392,7 +392,7 @@ declare function createAdapterResult(input: {
 }): CurrentAdapterResult;
 
 /** ArkGate library version — single source of truth. */
-declare const version = "4.8.21";
+declare const version = "4.8.22";
 
 /**
  * AI Code Gate (basic).
@@ -1738,8 +1738,10 @@ type DeclarationShape = 'function' | 'class' | 'const' | 'method' | 'type' | 'in
 type MentionContext = 'test-body' | 'comment' | 'string' | 'import';
 /**
  * One coverage verdict. Best evidence wins: test-title, then declaration,
- * then mention-only, then none. Regexes, the test-file vs source split, and
- * `Aggregate.method` lookup stay behind this value.
+ * then mention-only, then none. A comment in another file, when the symbol
+ * still occurs in code, is `declaration-miss` and does not count.
+ * Regexes, the test-file vs source split, and `Aggregate.method` lookup stay
+ * behind this value.
  */
 type CoverageEvidence = {
     kind: 'test-title';
@@ -1753,6 +1755,9 @@ type CoverageEvidence = {
     kind: 'mention-only';
     file: string;
     context: MentionContext;
+} | {
+    kind: 'declaration-miss';
+    symbol: string;
 } | {
     kind: 'none';
 };