@cplieger/deadset-ts 6.0.0 → 6.0.1

package/README.md

@@ -4,7 +4,7 @@
 
 deadset-ts finds dead code in TypeScript projects, down to class members, type members and dead stores inside functions, and writes a report your CI can fail on.
 
-It reads your `tsconfig.json` projects, `allowJs` JavaScript and Vue, Svelte and Astro scripts included, with the type information of TypeScript 7.1.0-dev.20261006.1, its one dependency. Your project keeps its own TypeScript version. A type error under that version skips the function or statement that holds it. deadset-ts reports and never edits your code. It is pre-release, tested only on Linux, needs Node.js 24 or later and is licensed under GPL-3.0-or-later.
+It reads your `tsconfig.json` projects, `allowJs` JavaScript and Vue, Svelte and Astro scripts included, with the type information of TypeScript 7.1.0-dev.20261007.1, its one dependency. Your project keeps its own TypeScript version. A type error under that version skips the function or statement that holds it. deadset-ts reports and never edits your code. It is pre-release, tested only on Linux, needs Node.js 24 or later and is licensed under GPL-3.0-or-later.
 
 ## Why use it
 

package/dist/src/findings/completion.js

@@ -6,7 +6,8 @@
 import { componentId } from "../components.js";
 import { OUTSIDE } from "../graph.js";
 import { KINDS } from "../kinds.js";
-import { byPosition } from "../position.js";
+import { byPosition, positionKey } from "../position.js";
+import { declarationKey } from "../ref.js";
 import { FAMILY_KEY_LENGTH } from "../resolve.js";
 import { isPartSubject, isRowSubject } from "../suppress.js";
 /** The classes ranked by the claim each makes, the strongest highest. */
@@ -117,7 +118,7 @@ function findingComponents(swept, cascade) {
 export function completed(input, findings, kinds = KINDS) {
     const { swept } = input;
     const union = swept.matrix.union;
-    const positions = new Map(union.symbols.map((symbol, at) => [symbol.ref, at]));
+    const positions = new Map(union.symbols.map((symbol, at) => [declarationKey(symbol.ref, symbol.position.path), at]));
     const candidates = new Map(swept.sweep.candidates.map((candidate) => [candidate.id, candidate]));
     const classOf = reachabilityClasses(input);
     const componentOf = findingComponents(swept, input.config.reporters.cascade);
@@ -135,10 +136,14 @@ export function completed(input, findings, kinds = KINDS) {
             throw new Error(`${finding.code} names no live row of the issue-kind vocabulary`);
         }
         // A row's reference may spell a declaration's, as an ignore entry naming one does, and
-        // a row is still never the declaration.
+        // a row is still never the declaration. Two declarations of one file can share a
+        // reference, so the one the finding is positioned at is the subject where there is one.
+        const declared = union.at(positionKey(finding.position));
         const at = isRowSubject(finding.symbol.kind)
             ? OUTSIDE
-            : (positions.get(finding.symbol.ref) ?? OUTSIDE);
+            : union.symbols[declared]?.ref === finding.symbol.ref
+                ? declared
+                : (positions.get(declarationKey(finding.symbol.ref, finding.position.path)) ?? OUTSIDE);
         // A part names the declaration that holds it, and is decided inside it rather than by
         // the declaration's liveness, so it carries none of the declaration's sweep facts.
         const part = isPartSubject(finding.symbol.kind);

package/dist/src/findings/emitters.js

@@ -1,5 +1,6 @@
 import { evaluateEdges } from "../edges.js";
 import { liveFilesAt } from "../matrix.js";
+import { declarationKey } from "../ref.js";
 import { ledgerOf } from "../suppress.js";
 import { insideSkipped } from "../type-errors.js";
 import { completed, dialsOf, reportable } from "./completion.js";
@@ -23,24 +24,24 @@ export const EMITTERS = new Map([
     ["intra-function", intraFunction],
 ]);
 /**
- * The references of every declaration an unanswered question could have kept live, which
- * the run reports nothing about: a finding about one would be computed from the gap.
+ * The keys of every declaration an unanswered question could have kept live, which the run
+ * reports nothing about: a finding about one would be computed from the gap.
  */
-function heldRefs(input) {
+function heldKeys(input) {
     const held = new Set(input.swept.heldByUnanswered);
     if (held.size === 0) {
         return held;
     }
     return new Set(input.swept.matrix.union.symbols
         .filter((symbol) => held.has(symbol.id))
-        .map((symbol) => symbol.ref));
+        .map((symbol) => declarationKey(symbol.ref, symbol.position.path)));
 }
 /**
- * The references of every top-level declaration of a live component file. The file's
+ * The keys of every top-level declaration of a live component file. The file's
  * markup may use each of them, which no analysis of the markup can rule out, so the run
  * reports nothing about one while the file is live.
  */
-function markupRefs(input) {
+function markupKeys(input) {
     const { swept } = input;
     if (swept.componentFiles.length === 0) {
         return new Set();
@@ -48,7 +49,7 @@ function markupRefs(input) {
     const live = new Set(liveFilesAt(swept.matrix, swept.sweep, new Set(swept.componentFiles)).map((symbol) => symbol.id));
     return new Set(swept.matrix.union.symbols
         .filter((symbol) => live.has(symbol.parent))
-        .map((symbol) => symbol.ref));
+        .map((symbol) => declarationKey(symbol.ref, symbol.position.path)));
 }
 /** Every family's findings over one sweep, and those of any further emitter, completed by one step. */
 function completedOver(input, ...more) {
@@ -104,12 +105,15 @@ function atPossible(input) {
 function dialledOver(input, suppressed, found, unmarked) {
     const would = [...unmarked, ...found];
     const ledger = ledgerOf(suppressed.records, would, dialsOver(input, found, suppressed, unmarked));
-    const unanswered = heldRefs(input);
-    const markup = markupRefs(input);
-    const kept = reportable(input, found.filter((finding) => !ledger.withheld(finding) &&
-        !unanswered.has(finding.symbol.ref) &&
-        !markup.has(finding.symbol.ref) &&
-        !insideSkipped(input.swept.skipped, finding.position)));
+    const unanswered = heldKeys(input);
+    const markup = markupKeys(input);
+    const kept = reportable(input, found.filter((finding) => {
+        const key = declarationKey(finding.symbol.ref, finding.position.path);
+        return (!ledger.withheld(finding) &&
+            !unanswered.has(key) &&
+            !markup.has(key) &&
+            !insideSkipped(input.swept.skipped, finding.position));
+    }));
     const evaluated = evaluateEdges(kept, input.boundary.edges, input.swept.matrix.union.symbols);
     return { findings: evaluated.findings, evaluations: evaluated.evaluations, ledger };
 }

package/dist/src/findings/reads-and-writes.js

@@ -1,4 +1,5 @@
 import { positionKey } from "../position.js";
+import { declarationKey } from "../ref.js";
 /** The containers whose type parameters `DS1303` reports: a function and a class method. */
 const SIGNATURES = new Set(["function", "method"]);
 function indexed(input) {
@@ -175,12 +176,12 @@ function unusedTypeParameters(run) {
         .map((symbol) => findingAbout(symbol, "DS1303", `type parameter ${symbol.name} is named in neither its signature nor its body`));
 }
 /**
- * The references of the declarations the write-only kind reports, whatever the
+ * The keys of the declarations the write-only kind reports, whatever the
  * severity: a narrowing kind yields each to it, since deleting the declaration
  * supersedes narrowing it.
  */
 export function writeOnlyDeclarations(input) {
-    return new Set(writeOnlySymbols(indexed(input)).map((finding) => finding.symbol.ref));
+    return new Set(writeOnlySymbols(indexed(input)).map((finding) => declarationKey(finding.symbol.ref, finding.position.path)));
 }
 /**
  * The findings of the reads-and-writes family, `DS1300` to `DS1399`, in code order and

package/dist/src/findings/visibility-narrowing.js

@@ -1,4 +1,5 @@
 import { OUTSIDE } from "../graph.js";
+import { declarationKey } from "../ref.js";
 import { writeOnlyDeclarations } from "./reads-and-writes.js";
 const UNNECESSARY_EXPORT = "DS1101";
 const UNREACHABLE_EXPORT = "DS1103";
@@ -119,7 +120,7 @@ function narrowing(facts, at, symbol, world) {
     const { closed } = world;
     const file = facts.fileOf[at] ?? OUTSIDE;
     if (!topLevelExport(facts, at, symbol) ||
-        world.writeOnly.has(symbol.ref) ||
+        world.writeOnly.has(declarationKey(symbol.ref, symbol.position.path)) ||
         symbol.kind === "export-alias" ||
         entersByName(facts.rootedBy[at]) ||
         entersByName(facts.rootedBy[file]) ||

package/dist/src/ref.js

@@ -107,6 +107,14 @@ export function renderRef(module, fragment) {
         }
     }
 }
+/**
+ * One declaration's key among a run's: its reference and the file that declares it. Two
+ * packages of one name spell one reference for two declarations, so the reference alone
+ * keys neither.
+ */
+export function declarationKey(ref, path) {
+    return `${ref}\u0000${path}`;
+}
 /**
  * Whether one string is a reference of this language's grammar, in its canonical
  * spelling. A string that is not, whether misspelled or spelled in a form the

package/dist/src/reporters/sarif.js

@@ -1,5 +1,6 @@
 import { jsonChunks } from "../json-chunks.js";
 import { KINDS } from "../kinds.js";
+import { declarationKey } from "../ref.js";
 import { lineHashes, symbolFingerprint } from "./fingerprint.js";
 import { RenderError } from "./reporter.js";
 import { utf8Bytes } from "./sha256.js";
@@ -122,7 +123,8 @@ function relatedOf(found) {
         related.push({ label: "write", at, endLine: at.end_line });
     }
     for (const one of found.component.members ?? []) {
-        if (one.ref !== found.symbol.ref) {
+        if (declarationKey(one.ref, one.position.path) !==
+            declarationKey(found.symbol.ref, found.position.path)) {
             related.push({ label: "member", at: one.position, endLine: one.position.end_line });
         }
     }

package/dist/src/suppress-file.js

@@ -7,6 +7,7 @@
 import { jsonChunks } from "./json-chunks.js";
 import { joinPath } from "./paths.js";
 import { positionAt, walkDocument } from "./json-document.js";
+import { declarationKey } from "./ref.js";
 import { CODE_FORM, SUPPRESSION_WITHOUT_REASON, SuppressionError, UNSCOPED_ENTRY, blankReason, isEntryPath, isSymbolRef, siteText, } from "./suppress.js";
 /** The name and the location the grammar fixes for the ignore file. */
 export const IGNORE_FILE = "deadset-ignore.json";
@@ -38,9 +39,6 @@ function documentSite(shape) {
 function isObject(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
 }
-function referenceKey(ref, path) {
-    return `${ref}\u0000${path}`;
-}
 /**
  * Reads one entry or row: the records it binds, the refusals it carries, or the
  * malformed value that ends the run.
@@ -100,7 +98,7 @@ function readRecord(value, site, byReference, shape) {
     if (refusals.length > 0) {
         return { records: [], refusals };
     }
-    const named = byReference.get(referenceKey(symbol, written.path)) ?? [];
+    const named = byReference.get(declarationKey(symbol, written.path)) ?? [];
     if (named.length === 0) {
         return { records: [{ ...written, bound: "" }], refusals: [] };
     }
@@ -109,7 +107,7 @@ function readRecord(value, site, byReference, shape) {
 function byReferenceOf(symbols) {
     const byReference = new Map();
     for (const symbol of symbols) {
-        const key = referenceKey(symbol.ref, symbol.position.path);
+        const key = declarationKey(symbol.ref, symbol.position.path);
         byReference.set(key, [...(byReference.get(key) ?? []), symbol]);
     }
     return byReference;

package/dist/src/workspace-programs.js

@@ -7,7 +7,7 @@
  */
 import { ModuleKind, ModuleResolutionKind } from "@typescript/native/unstable/sync";
 import { isStringLiteralLikeNode } from "@typescript/native/unstable/ast";
-import { dirnamePath, joinPath, resolvePath } from "./paths.js";
+import { dirnamePath, resolvePath } from "./paths.js";
 /** The most questions one round trip carries. */
 const BATCH = 2048;
 /**
@@ -20,31 +20,6 @@ function analysisOptions(parsed) {
     const { composite, rootDir: _rootDir, outDir: _outDir, declarationDir: _declarationDir, tsBuildInfoFile: _tsBuildInfoFile, ...kept } = parsed.options;
     return composite === true ? { ...kept, declaration: true } : kept;
 }
-/**
- * The references a built program can carry: only where every referenced
- * configuration reads and is composite with output, because the compiler reports a
- * broken reference at syntax a built program does not have.
- */
-function carriedReferences(engine, parsed) {
-    const references = parsed.projectReferences ?? [];
-    for (const reference of references) {
-        // A reference that names a directory names the `tsconfig.json` in it.
-        const configFile = reference.path.endsWith(".json")
-            ? reference.path
-            : joinPath(reference.path, "tsconfig.json");
-        let options;
-        try {
-            options = engine.parseConfigFile(configFile).options;
-        }
-        catch {
-            return [];
-        }
-        if (options.composite !== true || options.noEmit === true) {
-            return [];
-        }
-    }
-    return references;
-}
 /** The conditions an `exports` lookup under one configuration and one resolution mode reads. */
 function conditionsOf(parsed, mode) {
     const resolution = parsed.options.moduleResolution;
@@ -94,7 +69,7 @@ function configurationOf(engine, host, reading) {
     if (reason !== undefined) {
         return { kind: "unread", reason };
     }
-    const { options } = reading.parsed;
+    const { options, projectReferences: references = [] } = reading.parsed;
     const raw = options["pathsBasePath"];
     const base = typeof raw === "string" ? raw : dirnamePath(reading.configFile);
     const paths = {};
@@ -117,8 +92,8 @@ function configurationOf(engine, host, reading) {
             ...(options.composite === true ? { composite: false, declaration: true } : {}),
             paths,
         },
-        ...(reading.references.length > 0
-            ? { references: reading.references.map((reference) => ({ path: reference.path })) }
+        ...(references.length > 0
+            ? { references: references.map((reference) => ({ path: reference.path })) }
             : {}),
         ...(exclude === undefined ? {} : { exclude }),
     });
@@ -150,6 +125,7 @@ function configurationOf(engine, host, reading) {
 /** The program one configuration is built as, under the answers it holds so far. */
 function programOf(engine, reading) {
     const compilerOptions = analysisOptions(reading.parsed);
+    const references = reading.parsed.projectReferences ?? [];
     const resolver = engine.createModuleResolver(compilerOptions, reading.entries);
     return {
         resolver,
@@ -159,7 +135,7 @@ function programOf(engine, reading) {
             options: {
                 moduleResolver: resolver,
                 configFileParsingDiagnostics: reading.parsed.errors,
-                ...(reading.references.length > 0 ? { projectReferences: reading.references } : {}),
+                ...(references.length > 0 ? { projectReferences: references } : {}),
             },
         },
     };
@@ -292,7 +268,6 @@ export function workspacePrograms(engine, host, configFiles, resolver) {
             {
                 configFile,
                 parsed,
-                references: carriedReferences(engine, parsed),
                 entries: [],
                 seen: new Set(),
                 bound: new Map(),

package/jsr.json

@@ -1,6 +1,6 @@
 {
   "name": "@cplieger/deadset-ts",
-  "version": "6.0.0",
+  "version": "6.0.1",
   "license": "GPL-3.0-or-later",
   "exports": {
     ".": "./src/index.ts"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cplieger/deadset-ts",
-  "version": "6.0.0",
+  "version": "6.0.1",
   "type": "module",
   "sideEffects": false,
   "description": "Deterministic dead-code analysis for TypeScript, class and type members included",
@@ -29,7 +29,7 @@
     "lint:fix": "eslint . --fix && prettier --write ."
   },
   "dependencies": {
-    "@typescript/native": "npm:typescript@7.1.0-dev.20261006.1"
+    "@typescript/native": "npm:typescript@7.1.0-dev.20261007.1"
   },
   "overrides": {
     "qs": "^6.15.2"

package/src/findings/completion.ts

@@ -10,7 +10,8 @@ import type { Cascade, Confidence, Severity } from "../config.ts";
 import type { CompletedFinding, Finding, FindingComponent, PositionedSymbol } from "../finding.ts";
 import { OUTSIDE, type Graph } from "../graph.ts";
 import { KINDS, type KindRow } from "../kinds.ts";
-import { byPosition } from "../position.ts";
+import { byPosition, positionKey } from "../position.ts";
+import { declarationKey } from "../ref.ts";
 import { FAMILY_KEY_LENGTH } from "../resolve.ts";
 import { isPartSubject, isRowSubject, type Dials } from "../suppress.ts";
 import type { Boundary } from "./boundary.ts";
@@ -149,7 +150,9 @@ export function completed(
 ): readonly CompletedFinding[] {
   const { swept } = input;
   const union = swept.matrix.union;
-  const positions = new Map(union.symbols.map((symbol, at) => [symbol.ref, at]));
+  const positions = new Map(
+    union.symbols.map((symbol, at) => [declarationKey(symbol.ref, symbol.position.path), at]),
+  );
   const candidates = new Map(swept.sweep.candidates.map((candidate) => [candidate.id, candidate]));
   const classOf = reachabilityClasses(input);
   const componentOf = findingComponents(swept, input.config.reporters.cascade);
@@ -168,10 +171,14 @@ export function completed(
       throw new Error(`${finding.code} names no live row of the issue-kind vocabulary`);
     }
     // A row's reference may spell a declaration's, as an ignore entry naming one does, and
-    // a row is still never the declaration.
+    // a row is still never the declaration. Two declarations of one file can share a
+    // reference, so the one the finding is positioned at is the subject where there is one.
+    const declared = union.at(positionKey(finding.position));
     const at = isRowSubject(finding.symbol.kind)
       ? OUTSIDE
-      : (positions.get(finding.symbol.ref) ?? OUTSIDE);
+      : union.symbols[declared]?.ref === finding.symbol.ref
+        ? declared
+        : (positions.get(declarationKey(finding.symbol.ref, finding.position.path)) ?? OUTSIDE);
     // A part names the declaration that holds it, and is decided inside it rather than by
     // the declaration's liveness, so it carries none of the declaration's sweep facts.
     const part = isPartSubject(finding.symbol.kind);

package/src/findings/emitters.ts

@@ -2,6 +2,7 @@ import type { Confidence } from "../config.ts";
 import { evaluateEdges, type EdgeEvaluation } from "../edges.ts";
 import type { CompletedFinding } from "../finding.ts";
 import { liveFilesAt } from "../matrix.ts";
+import { declarationKey } from "../ref.ts";
 import { ledgerOf, type Dials, type Ledger, type SuppressionRecord } from "../suppress.ts";
 import { insideSkipped } from "../type-errors.ts";
 import { completed, dialsOf, reportable } from "./completion.ts";
@@ -28,10 +29,10 @@ export const EMITTERS: Emitters = new Map<string, Emitter>([
 ]);
 
 /**
- * The references of every declaration an unanswered question could have kept live, which
- * the run reports nothing about: a finding about one would be computed from the gap.
+ * The keys of every declaration an unanswered question could have kept live, which the run
+ * reports nothing about: a finding about one would be computed from the gap.
  */
-function heldRefs(input: EmitterInput): ReadonlySet<string> {
+function heldKeys(input: EmitterInput): ReadonlySet<string> {
   const held = new Set(input.swept.heldByUnanswered);
   if (held.size === 0) {
     return held;
@@ -39,16 +40,16 @@ function heldRefs(input: EmitterInput): ReadonlySet<string> {
   return new Set(
     input.swept.matrix.union.symbols
       .filter((symbol) => held.has(symbol.id))
-      .map((symbol) => symbol.ref),
+      .map((symbol) => declarationKey(symbol.ref, symbol.position.path)),
   );
 }
 
 /**
- * The references of every top-level declaration of a live component file. The file's
+ * The keys of every top-level declaration of a live component file. The file's
  * markup may use each of them, which no analysis of the markup can rule out, so the run
  * reports nothing about one while the file is live.
  */
-function markupRefs(input: EmitterInput): ReadonlySet<string> {
+function markupKeys(input: EmitterInput): ReadonlySet<string> {
   const { swept } = input;
   if (swept.componentFiles.length === 0) {
     return new Set();
@@ -61,7 +62,7 @@ function markupRefs(input: EmitterInput): ReadonlySet<string> {
   return new Set(
     swept.matrix.union.symbols
       .filter((symbol) => live.has(symbol.parent))
-      .map((symbol) => symbol.ref),
+      .map((symbol) => declarationKey(symbol.ref, symbol.position.path)),
   );
 }
 
@@ -175,17 +176,19 @@ function dialledOver(
 ): Omit<DecidedFindings, "would" | "withheld"> {
   const would = [...unmarked, ...found];
   const ledger = ledgerOf(suppressed.records, would, dialsOver(input, found, suppressed, unmarked));
-  const unanswered = heldRefs(input);
-  const markup = markupRefs(input);
+  const unanswered = heldKeys(input);
+  const markup = markupKeys(input);
   const kept = reportable(
     input,
-    found.filter(
-      (finding) =>
+    found.filter((finding) => {
+      const key = declarationKey(finding.symbol.ref, finding.position.path);
+      return (
         !ledger.withheld(finding) &&
-        !unanswered.has(finding.symbol.ref) &&
-        !markup.has(finding.symbol.ref) &&
-        !insideSkipped(input.swept.skipped, finding.position),
-    ),
+        !unanswered.has(key) &&
+        !markup.has(key) &&
+        !insideSkipped(input.swept.skipped, finding.position)
+      );
+    }),
   );
   const evaluated = evaluateEdges(kept, input.boundary.edges, input.swept.matrix.union.symbols);
   return { findings: evaluated.findings, evaluations: evaluated.evaluations, ledger };

package/src/findings/reads-and-writes.ts

@@ -2,6 +2,7 @@ import type { Finding, FindingDetails, FindingPosition } from "../finding.ts";
 import type { InventorySymbol } from "../inventory.ts";
 import type { MatrixCandidate } from "../matrix.ts";
 import { positionKey } from "../position.ts";
+import { declarationKey } from "../ref.ts";
 import type { Emitter, EmitterInput } from "./emitter.ts";
 
 /** The codes of this family. */
@@ -242,12 +243,16 @@ function unusedTypeParameters(run: Run): readonly Finding[] {
 }
 
 /**
- * The references of the declarations the write-only kind reports, whatever the
+ * The keys of the declarations the write-only kind reports, whatever the
  * severity: a narrowing kind yields each to it, since deleting the declaration
  * supersedes narrowing it.
  */
 export function writeOnlyDeclarations(input: EmitterInput): ReadonlySet<string> {
-  return new Set(writeOnlySymbols(indexed(input)).map((finding) => finding.symbol.ref));
+  return new Set(
+    writeOnlySymbols(indexed(input)).map((finding) =>
+      declarationKey(finding.symbol.ref, finding.position.path),
+    ),
+  );
 }
 
 /**

package/src/findings/visibility-narrowing.ts

@@ -2,6 +2,7 @@ import type { Finding } from "../finding.ts";
 import { OUTSIDE, type Graph } from "../graph.ts";
 import type { InventorySymbol, SymbolKind } from "../inventory.ts";
 import type { MatrixCandidate } from "../matrix.ts";
+import { declarationKey } from "../ref.ts";
 import type { RootKind } from "../roots.ts";
 import type { Emitter, EmitterInput } from "./emitter.ts";
 import { writeOnlyDeclarations } from "./reads-and-writes.ts";
@@ -159,7 +160,7 @@ function narrowing(
   const file = facts.fileOf[at] ?? OUTSIDE;
   if (
     !topLevelExport(facts, at, symbol) ||
-    world.writeOnly.has(symbol.ref) ||
+    world.writeOnly.has(declarationKey(symbol.ref, symbol.position.path)) ||
     symbol.kind === "export-alias" ||
     entersByName(facts.rootedBy[at]) ||
     entersByName(facts.rootedBy[file]) ||

package/src/ref.ts

@@ -169,6 +169,15 @@ export function renderRef(module: Module, fragment: Fragment): string {
   }
 }
 
+/**
+ * One declaration's key among a run's: its reference and the file that declares it. Two
+ * packages of one name spell one reference for two declarations, so the reference alone
+ * keys neither.
+ */
+export function declarationKey(ref: string, path: string): string {
+  return `${ref}\u0000${path}`;
+}
+
 /**
  * Whether one string is a reference of this language's grammar, in its canonical
  * spelling. A string that is not, whether misspelled or spelled in a form the

package/src/reporters/sarif.ts

@@ -1,6 +1,7 @@
 import type { Confidence, Severity } from "../config.ts";
 import { jsonChunks } from "../json-chunks.ts";
 import { KINDS, type KindRow } from "../kinds.ts";
+import { declarationKey } from "../ref.ts";
 import type { Report, WireFinding, WireStaleSuppression } from "../report.ts";
 import { lineHashes, symbolFingerprint } from "./fingerprint.ts";
 import { RenderError, type RenderOptions } from "./reporter.ts";
@@ -160,7 +161,10 @@ function relatedOf(found: WireFinding): readonly Related[] {
     related.push({ label: "write", at, endLine: at.end_line });
   }
   for (const one of found.component.members ?? []) {
-    if (one.ref !== found.symbol.ref) {
+    if (
+      declarationKey(one.ref, one.position.path) !==
+      declarationKey(found.symbol.ref, found.position.path)
+    ) {
       related.push({ label: "member", at: one.position, endLine: one.position.end_line });
     }
   }

package/src/suppress-file.ts

@@ -11,6 +11,7 @@ import { jsonChunks } from "./json-chunks.ts";
 import { joinPath } from "./paths.ts";
 import { positionAt, walkDocument } from "./json-document.ts";
 import type { Position } from "./position.ts";
+import { declarationKey } from "./ref.ts";
 import {
   CODE_FORM,
   SUPPRESSION_WITHOUT_REASON,
@@ -84,10 +85,6 @@ interface Read {
 /** The declarations of the run by reference and file, which is what an entry names. */
 type ByReference = ReadonlyMap<string, readonly InventorySymbol[]>;
 
-function referenceKey(ref: string, path: string): string {
-  return `${ref}\u0000${path}`;
-}
-
 /**
  * Reads one entry or row: the records it binds, the refusals it carries, or the
  * malformed value that ends the run.
@@ -148,7 +145,7 @@ function readRecord(value: unknown, site: Position, byReference: ByReference, sh
   if (refusals.length > 0) {
     return { records: [], refusals };
   }
-  const named = byReference.get(referenceKey(symbol, written.path)) ?? [];
+  const named = byReference.get(declarationKey(symbol, written.path)) ?? [];
   if (named.length === 0) {
     return { records: [{ ...written, bound: "" }], refusals: [] };
   }
@@ -158,7 +155,7 @@ function readRecord(value: unknown, site: Position, byReference: ByReference, sh
 function byReferenceOf(symbols: readonly InventorySymbol[]): ByReference {
   const byReference = new Map<string, InventorySymbol[]>();
   for (const symbol of symbols) {
-    const key = referenceKey(symbol.ref, symbol.position.path);
+    const key = declarationKey(symbol.ref, symbol.position.path);
     byReference.set(key, [...(byReference.get(key) ?? []), symbol]);
   }
   return byReference;

package/src/workspace-programs.ts

@@ -17,7 +17,7 @@ import type {
 import { isStringLiteralLikeNode } from "@typescript/native/unstable/ast";
 import type { StringLiteralLikeNode } from "@typescript/native/unstable/ast";
 import type { Host } from "./host.ts";
-import { dirnamePath, joinPath, resolvePath } from "./paths.ts";
+import { dirnamePath, resolvePath } from "./paths.ts";
 import type { Engine } from "./session.ts";
 import type { WorkspaceResolver } from "./workspace-resolution.ts";
 
@@ -82,34 +82,6 @@ function analysisOptions(parsed: Parsed): CreateSnapshotProgramParams["compilerO
   return composite === true ? { ...kept, declaration: true } : kept;
 }
 
-/**
- * The references a built program can carry: only where every referenced
- * configuration reads and is composite with output, because the compiler reports a
- * broken reference at syntax a built program does not have.
- */
-function carriedReferences(
-  engine: Engine,
-  parsed: Parsed,
-): NonNullable<Parsed["projectReferences"]> {
-  const references = parsed.projectReferences ?? [];
-  for (const reference of references) {
-    // A reference that names a directory names the `tsconfig.json` in it.
-    const configFile = reference.path.endsWith(".json")
-      ? reference.path
-      : joinPath(reference.path, "tsconfig.json");
-    let options: Parsed["options"];
-    try {
-      options = engine.parseConfigFile(configFile).options;
-    } catch {
-      return [];
-    }
-    if (options.composite !== true || options.noEmit === true) {
-      return [];
-    }
-  }
-  return references;
-}
-
 /** The conditions an `exports` lookup under one configuration and one resolution mode reads. */
 function conditionsOf(parsed: Parsed, mode: ResolutionMode | undefined): ReadonlySet<string> {
   const resolution = parsed.options.moduleResolution;
@@ -132,7 +104,6 @@ function resolutionMode(kind: ModuleKind): ResolutionMode | undefined {
 interface Reading {
   readonly configFile: string;
   readonly parsed: Parsed;
-  readonly references: NonNullable<Parsed["projectReferences"]>;
   readonly entries: ModuleResolutionEntry[];
   readonly seen: Set<string>;
   /** Per member specifier, every file an import of it is read as. */
@@ -181,7 +152,7 @@ function configurationOf(
   if (reason !== undefined) {
     return { kind: "unread", reason };
   }
-  const { options } = reading.parsed;
+  const { options, projectReferences: references = [] } = reading.parsed;
   const raw: unknown = (options as Record<string, unknown>)["pathsBasePath"];
   const base = typeof raw === "string" ? raw : dirnamePath(reading.configFile);
   const paths: Record<string, string[]> = {};
@@ -204,8 +175,8 @@ function configurationOf(
       ...(options.composite === true ? { composite: false, declaration: true } : {}),
       paths,
     },
-    ...(reading.references.length > 0
-      ? { references: reading.references.map((reference) => ({ path: reference.path })) }
+    ...(references.length > 0
+      ? { references: references.map((reference) => ({ path: reference.path })) }
       : {}),
     ...(exclude === undefined ? {} : { exclude }),
   });
@@ -240,6 +211,7 @@ function programOf(
   reading: Reading,
 ): { readonly params: CreateSnapshotProgramParams; readonly resolver: ModuleResolver } {
   const compilerOptions = analysisOptions(reading.parsed);
+  const references = reading.parsed.projectReferences ?? [];
   const resolver = engine.createModuleResolver(compilerOptions, reading.entries);
   return {
     resolver,
@@ -249,7 +221,7 @@ function programOf(
       options: {
         moduleResolver: resolver,
         configFileParsingDiagnostics: reading.parsed.errors,
-        ...(reading.references.length > 0 ? { projectReferences: reading.references } : {}),
+        ...(references.length > 0 ? { projectReferences: references } : {}),
       },
     },
   };
@@ -436,7 +408,6 @@ export function workspacePrograms(
       {
         configFile,
         parsed,
-        references: carriedReferences(engine, parsed),
         entries: [],
         seen: new Set<string>(),
         bound: new Map<string, Set<string>>(),