circle-ir 4.16.1 → 4.18.1

package/dist/graph-facts/dependency-calls.d.ts

@@ -0,0 +1,86 @@
+/**
+ * Calls into one dependency and the tests that reach them
+ * (`dependency-calls@0.1`): for a dependency bump, every call site in the
+ * subject that lands on the library, and which test entry points reach the
+ * method that makes it.
+ *
+ * - **Calls**: `external` unresolved sites whose receiver type (the
+ *   constructed type, or a static import's owner) is in one of the
+ *   library's packages. The caller gives the packages, or a Maven
+ *   `groupId:artifactId` (with the resolved jar's bytes, or a fallback
+ *   table row): an artifact's packages are not readable from the subject's
+ *   sources (`maven-packages.ts`).
+ * - **Tests**: each `test` entry is walked on its own over the reach core's
+ *   graph. A test reaches a call **strongly** when its path to the calling
+ *   method uses only strong edges, **weakly** otherwise.
+ * - **covered**: every call is reached strongly by at least one test, and no
+ *   file is partial.
+ * - **unattributed**: `external` sites with no receiver type, or a bare
+ *   simple name no import qualifies (other than `java.lang`). They could be
+ *   calls into the library; a merge rule that relies on there being no other
+ *   calls reads this count too.
+ *
+ * Experimental and opt-in; Java only for now (`java-graph@0.1` carries the
+ * receiver types).
+ */
+import type { UnresolvedCall } from '../navigation/ts-call-edges.js';
+import { type MavenPackageSource } from './maven-packages.js';
+import { type PartialFile, type ReachInput, type ReachSite } from './reach.js';
+export declare const DEPENDENCY_CALLS_SCHEME: 'dependency-calls@0.1';
+export type DependencyCallsOptions = {
+    /** The library's packages, e.g. `com.fasterxml.jackson`; a package covers its subpackages. */
+    packages: readonly string[];
+} | {
+    /** Maven `groupId:artifactId` (a version, if given, is ignored). */
+    artifact: string;
+    /** The resolved jar's bytes; without it the fallback table decides. Throws `UnknownArtifact` if neither does. */
+    jar?: Uint8Array;
+};
+export interface DependencyCallTest {
+    /** The test entry's declaration id. */
+    id: string;
+    file: string;
+    line: number;
+    class: 'strong' | 'weak';
+}
+export interface DependencyCall {
+    /** The calling declaration's id. */
+    from: string;
+    site: ReachSite;
+    methodName: string;
+    /** The library type the call lands on. */
+    receiver: string;
+    /** Tests reaching `from`, strong first, then by file and line. */
+    tests: DependencyCallTest[];
+}
+export interface DependencyUnattributedSite {
+    from: string;
+    site: ReachSite;
+    methodName: string;
+    /** The unqualified receiver type, when the graph has one. */
+    receiver?: string;
+}
+export interface DependencyCallsResult {
+    scheme: typeof DEPENDENCY_CALLS_SCHEME;
+    ids: 'ids@0.1';
+    /** `groupId:artifactId` when the options named one. */
+    artifact?: string;
+    packages: string[];
+    /** Where `packages` came from: the caller, the jar or the fallback table. */
+    packageSource: 'given' | MavenPackageSource;
+    calls: DependencyCall[];
+    /** Calls with no strong test path. */
+    uncovered: number;
+    /** Every call reached strongly by a test, and no partial file. */
+    covered: boolean;
+    /** `external` sites the library cannot be ruled in or out for: no receiver type, or an unqualified one. */
+    unattributed: number;
+    /** Those sites, by file, line and column (`unattributed` is their count). */
+    unattributedSites: DependencyUnattributedSite[];
+    partial: string[];
+    partialFiles: PartialFile[];
+}
+export declare function dependencyCalls(input: Omit<ReachInput, 'unresolved'> & {
+    unresolved: readonly UnresolvedCall[];
+}, options: DependencyCallsOptions): DependencyCallsResult;
+//# sourceMappingURL=dependency-calls.d.ts.map

package/dist/graph-facts/dependency-calls.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-calls.d.ts","sourceRoot":"","sources":["../../src/graph-facts/dependency-calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAiB,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAA4C,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAEzH,eAAO,MAAM,uBAAuB,EAAG,sBAA+B,CAAC;AAEvE,MAAM,MAAM,sBAAsB,GAC9B;IACE,8FAA8F;IAC9F,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,GACD;IACE,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,iHAAiH;IACjH,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB,CAAC;AAEN,MAAM,WAAW,kBAAkB;IACjC,uCAAuC;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,GAAG,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,kEAAkE;IAClE,KAAK,EAAE,kBAAkB,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,uBAAuB,CAAC;IACvC,GAAG,EAAE,SAAS,CAAC;IACf,uDAAuD;IACvD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,6EAA6E;IAC7E,aAAa,EAAE,OAAO,GAAG,kBAAkB,CAAC;IAC5C,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,OAAO,EAAE,OAAO,CAAC;IACjB,2GAA2G;IAC3G,YAAY,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,iBAAiB,EAAE,0BAA0B,EAAE,CAAC;IAChD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,WAAW,EAAE,CAAC;CAC7B;AAYD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,GAAG;IAAE,UAAU,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,EACjF,OAAO,EAAE,sBAAsB,GAC9B,qBAAqB,CAyDvB"}

package/dist/graph-facts/dependency-calls.js

@@ -0,0 +1,93 @@
+/**
+ * Calls into one dependency and the tests that reach them
+ * (`dependency-calls@0.1`): for a dependency bump, every call site in the
+ * subject that lands on the library, and which test entry points reach the
+ * method that makes it.
+ *
+ * - **Calls**: `external` unresolved sites whose receiver type (the
+ *   constructed type, or a static import's owner) is in one of the
+ *   library's packages. The caller gives the packages, or a Maven
+ *   `groupId:artifactId` (with the resolved jar's bytes, or a fallback
+ *   table row): an artifact's packages are not readable from the subject's
+ *   sources (`maven-packages.ts`).
+ * - **Tests**: each `test` entry is walked on its own over the reach core's
+ *   graph. A test reaches a call **strongly** when its path to the calling
+ *   method uses only strong edges, **weakly** otherwise.
+ * - **covered**: every call is reached strongly by at least one test, and no
+ *   file is partial.
+ * - **unattributed**: `external` sites with no receiver type, or a bare
+ *   simple name no import qualifies (other than `java.lang`). They could be
+ *   calls into the library; a merge rule that relies on there being no other
+ *   calls reads this count too.
+ *
+ * Experimental and opt-in; Java only for now (`java-graph@0.1` carries the
+ * receiver types).
+ */
+import { mavenPackages } from './maven-packages.js';
+import { ReachGraph, partialFileDetails, walkFrom } from './reach.js';
+export const DEPENDENCY_CALLS_SCHEME = 'dependency-calls@0.1';
+/** `java.lang` types, which need no import. */
+const JAVA_LANG = new Set([
+    'Object', 'String', 'StringBuilder', 'StringBuffer', 'Math', 'System', 'Thread', 'Class', 'Runtime', 'Character',
+    'Integer', 'Long', 'Short', 'Byte', 'Double', 'Float', 'Boolean', 'Number', 'Enum', 'Iterable', 'CharSequence',
+    'Throwable', 'Exception', 'RuntimeException', 'Error', 'ProcessBuilder', 'ThreadLocal', 'ClassLoader', 'Record',
+]);
+const inPackages = (fqn, packages) => packages.some(p => fqn === p || fqn.startsWith(`${p}.`));
+export function dependencyCalls(input, options) {
+    const resolved = 'artifact' in options ? mavenPackages(options.artifact, { jar: options.jar }) : null;
+    const given = 'artifact' in options ? [] : options.packages;
+    const packages = [...new Set(resolved ? resolved.packages : given)].sort();
+    const external = input.unresolved.filter(u => u.reason === 'external');
+    const hits = external.filter(u => u.receiver !== undefined && inPackages(u.receiver, packages));
+    const unattributedSites = external
+        .filter(u => u.receiver === undefined || (!u.receiver.includes('.') && !JAVA_LANG.has(u.receiver)))
+        .map(u => ({
+        from: u.from,
+        site: { file: u.site.file, line: u.site.line, col: u.site.col },
+        methodName: u.methodName,
+        ...(u.receiver !== undefined ? { receiver: u.receiver } : {}),
+    }))
+        .sort((a, b) => (a.site.file < b.site.file ? -1 : a.site.file > b.site.file ? 1 : a.site.line - b.site.line || a.site.col - b.site.col));
+    const g = new ReachGraph(input);
+    const tests = input.entries
+        .filter(e => e.kind === 'test')
+        .sort((a, b) => (a.file < b.file ? -1 : a.file > b.file ? 1 : a.line - b.line || (a.id < b.id ? -1 : a.id > b.id ? 1 : 0)));
+    const callers = new Set(hits.map(h => h.from));
+    const reachedBy = new Map();
+    for (const t of tests) {
+        const visits = walkFrom(g, [{ id: t.id, weak: t.certainty === 'inferred' }]);
+        for (const from of callers) {
+            const cls = visits.has(`0${from}`) ? 'strong' : visits.has(`1${from}`) ? 'weak' : null;
+            if (!cls)
+                continue;
+            const list = reachedBy.get(from) ?? [];
+            list.push({ id: t.id, file: t.file, line: t.line, class: cls });
+            reachedBy.set(from, list);
+        }
+    }
+    const calls = hits
+        .map(h => ({
+        from: h.from,
+        site: { file: h.site.file, line: h.site.line, col: h.site.col },
+        methodName: h.methodName,
+        receiver: h.receiver,
+        tests: [...(reachedBy.get(h.from) ?? [])].sort((a, b) => (a.class === b.class ? 0 : a.class === 'strong' ? -1 : 1)),
+    }))
+        .sort((a, b) => (a.site.file < b.site.file ? -1 : a.site.file > b.site.file ? 1 : a.site.line - b.site.line || a.site.col - b.site.col));
+    const uncovered = calls.filter(c => !c.tests.some(t => t.class === 'strong')).length;
+    return {
+        scheme: DEPENDENCY_CALLS_SCHEME,
+        ids: 'ids@0.1',
+        ...(resolved ? { artifact: resolved.artifact } : {}),
+        packages,
+        packageSource: resolved ? resolved.source : 'given',
+        calls,
+        uncovered,
+        covered: uncovered === 0 && input.partial.length === 0,
+        unattributed: unattributedSites.length,
+        unattributedSites,
+        partial: [...input.partial],
+        partialFiles: partialFileDetails(input.partial, input.files),
+    };
+}
+//# sourceMappingURL=dependency-calls.js.map

package/dist/graph-facts/dependency-calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-calls.js","sourceRoot":"","sources":["../../src/graph-facts/dependency-calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAE,aAAa,EAA2B,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAqD,MAAM,YAAY,CAAC;AAEzH,MAAM,CAAC,MAAM,uBAAuB,GAAG,sBAA+B,CAAC;AA8DvE,+CAA+C;AAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW;IAChH,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc;IAC9G,WAAW,EAAE,WAAW,EAAE,kBAAkB,EAAE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ;CAChH,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,QAA2B,EAAW,EAAE,CACvE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAE3D,MAAM,UAAU,eAAe,CAC7B,KAAiF,EACjF,OAA+B;IAE/B,MAAM,QAAQ,GAAG,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtG,MAAM,KAAK,GAAsB,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC/E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChG,MAAM,iBAAiB,GAAiC,QAAQ;SAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;SAClG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACT,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;QAC/D,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3I,MAAM,CAAC,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;SAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9H,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACvF,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAChE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAqB,IAAI;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACT,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;QAC/D,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,QAAQ,EAAE,CAAC,CAAC,QAAkB;QAC9B,KAAK,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACpH,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3I,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IACrF,OAAO;QACL,MAAM,EAAE,uBAAuB;QAC/B,GAAG,EAAE,SAAS;QACd,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,QAAQ;QACR,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;QACnD,KAAK;QACL,SAAS;QACT,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QACtD,YAAY,EAAE,iBAAiB,CAAC,MAAM;QACtC,iBAAiB;QACjB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAC3B,YAAY,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;KAC7D,CAAC;AACJ,CAAC"}

package/dist/graph-facts/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Graph facts over stable ids: the reach core and the answers built on it.
+ * Experimental and opt-in; `analyze()` does not call them.
+ */
+export { REACH_SCHEME, ALL_ENTRY_KINDS, ReachGraph, reach, walkFrom, reachedIds, couldReach, COMPUTED_LOAD, type ReachInput, type ReachSite, type ReachOptions, type ReachResult, type ReachFact, type ReachPath, type PathStep, type EdgeRelation, type CouldReachSite, type PartialFile, partialFileDetails, } from './reach.js';
+export { DEAD_CODE_SCHEME, deadCode, type DeadCodeVerdict, type MayBeLiveReason, type DeadCodeFact, type DeadCodeOptions, type DeadCodeResult, } from './dead-code.js';
+export { REMOVAL_REACH_SCHEME, removalReach, entryIndexDigest, type RemovedDeclaration, type MoveCandidateRef, type RemovalReachOptions, type RemovalReachResult, } from './removal-reach.js';
+export { DEPENDENCY_CALLS_SCHEME, dependencyCalls, type DependencyCallsOptions, type DependencyCall, type DependencyCallTest, type DependencyCallsResult, type DependencyUnattributedSite, } from './dependency-calls.js';
+export { MAVEN_PACKAGE_FALLBACK, UnknownArtifact, jarPackages, mavenArtifact, mavenPackages, zipEntryNames, type MavenPackages, type MavenPackageSource, } from './maven-packages.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/graph-facts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graph-facts/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,eAAe,EACf,UAAU,EACV,KAAK,EACL,QAAQ,EACR,UAAU,EACV,UAAU,EACV,aAAa,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,cAAc,GACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,EAChB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,KAAK,qBAAqB,EAC1B,KAAK,0BAA0B,GAChC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,sBAAsB,EACtB,eAAe,EACf,WAAW,EACX,aAAa,EACb,aAAa,EACb,aAAa,EACb,KAAK,aAAa,EAClB,KAAK,kBAAkB,GACxB,MAAM,qBAAqB,CAAC"}

package/dist/graph-facts/index.js

@@ -0,0 +1,10 @@
+/**
+ * Graph facts over stable ids: the reach core and the answers built on it.
+ * Experimental and opt-in; `analyze()` does not call them.
+ */
+export { REACH_SCHEME, ALL_ENTRY_KINDS, ReachGraph, reach, walkFrom, reachedIds, couldReach, COMPUTED_LOAD, partialFileDetails, } from './reach.js';
+export { DEAD_CODE_SCHEME, deadCode, } from './dead-code.js';
+export { REMOVAL_REACH_SCHEME, removalReach, entryIndexDigest, } from './removal-reach.js';
+export { DEPENDENCY_CALLS_SCHEME, dependencyCalls, } from './dependency-calls.js';
+export { MAVEN_PACKAGE_FALLBACK, UnknownArtifact, jarPackages, mavenArtifact, mavenPackages, zipEntryNames, } from './maven-packages.js';
+//# sourceMappingURL=index.js.map

package/dist/graph-facts/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph-facts/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,eAAe,EACf,UAAU,EACV,KAAK,EACL,QAAQ,EACR,UAAU,EACV,UAAU,EACV,aAAa,EAWb,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,gBAAgB,EAChB,QAAQ,GAMT,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,GAKjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uBAAuB,EACvB,eAAe,GAMhB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,sBAAsB,EACtB,eAAe,EACf,WAAW,EACX,aAAa,EACb,aAAa,EACb,aAAa,GAGd,MAAM,qBAAqB,CAAC"}

package/dist/graph-facts/maven-packages.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Maven coordinates → Java packages, for `dependencyCalls` (E02).
+ *
+ * - **From the jar**: the package directories of the resolved artifact's
+ *   `.class` entries, read from the zip's central directory only (no entry
+ *   is inflated). Multi-release classes (`META-INF/versions/<n>/…`) count
+ *   under their own package; other `META-INF/` entries, `module-info` and
+ *   classes in the default package do not.
+ * - **From the table**: a small fallback for the demo dependencies, used
+ *   only when no jar is given.
+ *
+ * Pure: the caller reads the jar's bytes (the library reads no files).
+ */
+export type MavenPackageSource = 'jar' | 'table';
+export interface MavenPackages {
+    /** `groupId:artifactId`, as given without a version. */
+    artifact: string;
+    /** Sorted, distinct package names. */
+    packages: string[];
+    source: MavenPackageSource;
+}
+/** The artifact has no jar and no fallback row, or its jar holds no classes. */
+export declare class UnknownArtifact extends Error {
+    readonly artifact: string;
+    constructor(artifact: string, reason: string);
+}
+/**
+ * Package prefixes for the demo dependencies, `groupId:artifactId` → the
+ * packages the artifact defines (a package covers its subpackages).
+ */
+export declare const MAVEN_PACKAGE_FALLBACK: Readonly<Record<string, readonly string[]>>;
+/** `groupId:artifactId[:…]` → `groupId:artifactId`; throws on anything else. */
+export declare function mavenArtifact(coordinate: string): string;
+/** The packages for `coordinate`: from `jar` when given, else the fallback table. */
+export declare function mavenPackages(coordinate: string, options?: {
+    jar?: Uint8Array;
+}): MavenPackages;
+/** The package names of a jar's `.class` entries, sorted and distinct. */
+export declare function jarPackages(jar: Uint8Array): string[];
+/** Entry names from the zip's central directory; throws when it is not a zip. */
+export declare function zipEntryNames(zip: Uint8Array): string[];
+//# sourceMappingURL=maven-packages.d.ts.map

package/dist/graph-facts/maven-packages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"maven-packages.d.ts","sourceRoot":"","sources":["../../src/graph-facts/maven-packages.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,MAAM,kBAAkB,GAAG,KAAK,GAAG,OAAO,CAAC;AAEjD,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,kBAAkB,CAAC;CAC5B;AAED,gFAAgF;AAChF,qBAAa,eAAgB,SAAQ,KAAK;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAArC,YAAqB,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAGpD;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAU9E,CAAC;AAEF,gFAAgF;AAChF,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED,qFAAqF;AACrF,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,UAAU,CAAA;CAAO,GAAG,aAAa,CAUnG;AASD,0EAA0E;AAC1E,wBAAgB,WAAW,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,EAAE,CAOrD;AAcD,iFAAiF;AACjF,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,EAAE,CA2BvD"}

package/dist/graph-facts/maven-packages.js

@@ -0,0 +1,133 @@
+/**
+ * Maven coordinates → Java packages, for `dependencyCalls` (E02).
+ *
+ * - **From the jar**: the package directories of the resolved artifact's
+ *   `.class` entries, read from the zip's central directory only (no entry
+ *   is inflated). Multi-release classes (`META-INF/versions/<n>/…`) count
+ *   under their own package; other `META-INF/` entries, `module-info` and
+ *   classes in the default package do not.
+ * - **From the table**: a small fallback for the demo dependencies, used
+ *   only when no jar is given.
+ *
+ * Pure: the caller reads the jar's bytes (the library reads no files).
+ */
+/** The artifact has no jar and no fallback row, or its jar holds no classes. */
+export class UnknownArtifact extends Error {
+    artifact;
+    constructor(artifact, reason) {
+        super(`${artifact}: ${reason}`);
+        this.artifact = artifact;
+        this.name = 'UnknownArtifact';
+    }
+}
+/**
+ * Package prefixes for the demo dependencies, `groupId:artifactId` → the
+ * packages the artifact defines (a package covers its subpackages).
+ */
+export const MAVEN_PACKAGE_FALLBACK = {
+    'org.apache.logging.log4j:log4j-core': ['org.apache.logging.log4j.core'],
+    'com.fasterxml.jackson.core:jackson-databind': ['com.fasterxml.jackson.databind'],
+    'com.fasterxml.jackson.core:jackson-core': ['com.fasterxml.jackson.core'],
+    'org.yaml:snakeyaml': ['org.yaml.snakeyaml'],
+    'org.apache.commons:commons-text': ['org.apache.commons.text'],
+    'org.codehaus.plexus:plexus-utils': ['org.codehaus.plexus.util'],
+    'com.thoughtworks.xstream:xstream': ['com.thoughtworks.xstream'],
+    'commons-collections:commons-collections': ['org.apache.commons.collections'],
+    'org.apache.commons:commons-collections4': ['org.apache.commons.collections4'],
+};
+/** `groupId:artifactId[:…]` → `groupId:artifactId`; throws on anything else. */
+export function mavenArtifact(coordinate) {
+    const parts = coordinate.trim().split(':');
+    if (parts.length < 2 || !parts[0] || !parts[1]) {
+        throw new UnknownArtifact(coordinate, 'expected groupId:artifactId');
+    }
+    return `${parts[0]}:${parts[1]}`;
+}
+/** The packages for `coordinate`: from `jar` when given, else the fallback table. */
+export function mavenPackages(coordinate, options = {}) {
+    const artifact = mavenArtifact(coordinate);
+    if (options.jar) {
+        const packages = jarPackages(options.jar);
+        if (packages.length === 0)
+            throw new UnknownArtifact(artifact, 'the jar holds no classes in a named package');
+        return { artifact, packages, source: 'jar' };
+    }
+    const row = MAVEN_PACKAGE_FALLBACK[artifact];
+    if (!row)
+        throw new UnknownArtifact(artifact, 'no jar given and no fallback row');
+    return { artifact, packages: [...row].sort(), source: 'table' };
+}
+// ─── Zip central directory ───────────────────────────────────────────────────
+const EOCD = 0x06054b50;
+const ZIP64_LOCATOR = 0x07064b50;
+const ZIP64_EOCD = 0x06064b50;
+const CENTRAL = 0x02014b50;
+/** The package names of a jar's `.class` entries, sorted and distinct. */
+export function jarPackages(jar) {
+    const out = new Set();
+    for (const name of zipEntryNames(jar)) {
+        const pkg = classPackage(name);
+        if (pkg)
+            out.add(pkg);
+    }
+    return [...out].sort();
+}
+function classPackage(entry) {
+    let name = entry;
+    const mr = /^META-INF\/versions\/\d+\//.exec(name);
+    if (mr)
+        name = name.slice(mr[0].length);
+    else if (name.startsWith('META-INF/'))
+        return null;
+    if (!name.endsWith('.class'))
+        return null;
+    const slash = name.lastIndexOf('/');
+    if (slash <= 0)
+        return null;
+    if (name.slice(slash + 1) === 'module-info.class')
+        return null;
+    return name.slice(0, slash).replace(/\//g, '.');
+}
+/** Entry names from the zip's central directory; throws when it is not a zip. */
+export function zipEntryNames(zip) {
+    const view = new DataView(zip.buffer, zip.byteOffset, zip.byteLength);
+    const eocd = findEocd(view);
+    if (eocd < 0)
+        throw new Error('not a zip: no end of central directory record');
+    let count = view.getUint16(eocd + 10, true);
+    let offset = view.getUint32(eocd + 16, true);
+    if (count === 0xffff || offset === 0xffffffff) {
+        const loc = eocd - 20;
+        if (loc < 0 || view.getUint32(loc, true) !== ZIP64_LOCATOR)
+            throw new Error('zip64 locator missing');
+        const z64 = Number(view.getBigUint64(loc + 8, true));
+        if (z64 + 56 > zip.byteLength || view.getUint32(z64, true) !== ZIP64_EOCD)
+            throw new Error('zip64 record missing');
+        count = Number(view.getBigUint64(z64 + 32, true));
+        offset = Number(view.getBigUint64(z64 + 48, true));
+    }
+    const decoder = new TextDecoder();
+    const names = [];
+    let p = offset;
+    for (let i = 0; i < count; i++) {
+        if (p + 46 > zip.byteLength || view.getUint32(p, true) !== CENTRAL)
+            throw new Error('corrupt central directory');
+        const nameLen = view.getUint16(p + 28, true);
+        const extraLen = view.getUint16(p + 30, true);
+        const commentLen = view.getUint16(p + 32, true);
+        if (p + 46 + nameLen > zip.byteLength)
+            throw new Error('corrupt central directory');
+        names.push(decoder.decode(zip.subarray(p + 46, p + 46 + nameLen)));
+        p += 46 + nameLen + extraLen + commentLen;
+    }
+    return names;
+}
+function findEocd(view) {
+    const min = Math.max(0, view.byteLength - 22 - 0xffff);
+    for (let p = view.byteLength - 22; p >= min; p--) {
+        if (view.getUint32(p, true) === EOCD)
+            return p;
+    }
+    return -1;
+}
+//# sourceMappingURL=maven-packages.js.map

package/dist/graph-facts/maven-packages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"maven-packages.js","sourceRoot":"","sources":["../../src/graph-facts/maven-packages.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAYH,gFAAgF;AAChF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACnB,QAAQ;IAA7B,YAAqB,QAAgB,EAAE,MAAc;QACnD,KAAK,CAAC,GAAG,QAAQ,KAAK,MAAM,EAAE,CAAC,CAAC;wBADb,QAAQ;QAE3B,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgD;IACjF,qCAAqC,EAAE,CAAC,+BAA+B,CAAC;IACxE,6CAA6C,EAAE,CAAC,gCAAgC,CAAC;IACjF,yCAAyC,EAAE,CAAC,4BAA4B,CAAC;IACzE,oBAAoB,EAAE,CAAC,oBAAoB,CAAC;IAC5C,iCAAiC,EAAE,CAAC,yBAAyB,CAAC;IAC9D,kCAAkC,EAAE,CAAC,0BAA0B,CAAC;IAChE,kCAAkC,EAAE,CAAC,0BAA0B,CAAC;IAChE,yCAAyC,EAAE,CAAC,gCAAgC,CAAC;IAC7E,yCAAyC,EAAE,CAAC,iCAAiC,CAAC;CAC/E,CAAC;AAEF,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,UAAkB;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,eAAe,CAAC,UAAU,EAAE,6BAA6B,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,aAAa,CAAC,UAAkB,EAAE,OAAO,GAAyB,EAAE;IAClF,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,eAAe,CAAC,QAAQ,EAAE,6CAA6C,CAAC,CAAC;QAC9G,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,eAAe,CAAC,QAAQ,EAAE,kCAAkC,CAAC,CAAC;IAClF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAClE,CAAC;AAED,gFAAgF;AAEhF,MAAM,IAAI,GAAG,UAAU,CAAC;AACxB,MAAM,aAAa,GAAG,UAAU,CAAC;AACjC,MAAM,UAAU,GAAG,UAAU,CAAC;AAC9B,MAAM,OAAO,GAAG,UAAU,CAAC;AAE3B,0EAA0E;AAC1E,MAAM,UAAU,WAAW,CAAC,GAAe;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,EAAE,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,EAAE;QAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;SACnC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,GAAe;IAC3C,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAC/E,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,MAAM,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,aAAa;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACrG,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACrD,IAAI,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACnH,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QAClD,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACjH,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,GAAG,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACpF,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC,IAAI,EAAE,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC"}

package/dist/graph-facts/reach.d.ts

@@ -0,0 +1,203 @@
+/**
+ * The reach core (`reach@0.1`): from a set of entry points to every
+ * declaration, one path per class and the unresolved sites that could add
+ * more.
+ *
+ * - **strong** path: from a `declared` or `conventional` entry over strong
+ *   edges only — `exact` and `polymorphic` calls, and the structural edges
+ *   that hold whenever their source runs (`contains`: a body creates its
+ *   nested functions, a module its top-level values, a class its fields and
+ *   constructor; `loads`: running a declaration loads its module; `import`:
+ *   loading a module loads what it imports; `field`: a body that runs uses
+ *   the fields it reads or writes through `this`; `loads` also covers a
+ *   body that loads a module with `import()` or `require()`).
+ * - **weak** path: any other path — through an `inferred` call, a
+ *   `reference` (a function or class passed, stored, returned or rendered:
+ *   it may run, nothing proves it does) or an `inferred` entry.
+ * - **unresolved**: call sites in reached bodies that the call graph could
+ *   not bind and that could bind to the declaration — same method name, or a
+ *   computed callee — plus registrations whose handler was not resolved.
+ *   A module is reached this way only by a module load with a computed
+ *   specifier (`import(name)`, methodName `<module>`).
+ *
+ * Each path is the shortest of its class (breadth-first, deterministic:
+ * adjacency in id order). `partial[]` lists files that did not parse; their
+ * call sites are missing, so any answer that relies on absence is not final.
+ */
+import type { ParseErrorSite, StableDecl, StableIdFile } from '../stable-ids/types.js';
+import type { Tier, UnresolvedReason } from '../navigation/types.js';
+import type { EntryCertainty, EntryKind } from '../navigation/ts-entry-tables.js';
+export declare const REACH_SCHEME: 'reach@0.1';
+export interface ReachSite {
+    file: string;
+    line: number;
+    col: number;
+}
+/** The facts the reach core reads. `TsCallGraph` satisfies it. */
+export interface ReachInput {
+    files: readonly StableIdFile[];
+    edges: readonly {
+        from: string;
+        to: string;
+        tier: Tier;
+        site: ReachSite;
+        methodName: string;
+    }[];
+    references?: readonly {
+        from: string;
+        to: string;
+        site: ReachSite;
+    }[];
+    /** Strong: a body that runs uses the field (`this.x`). */
+    fieldUses?: readonly {
+        from: string;
+        to: string;
+        site: ReachSite;
+    }[];
+    imports?: readonly {
+        from: string;
+        to: string;
+    }[];
+    /**
+     * Extra strong `loads` edges: running `from` initializes `to` (Java: a
+     * member initializes its class; TypeScript: a body loads a module with
+     * `import()` / `require()`).
+     */
+    loads?: readonly {
+        from: string;
+        to: string;
+        site?: ReachSite;
+    }[];
+    unresolved: readonly {
+        from: string;
+        methodName: string;
+        site: ReachSite;
+        reason: UnresolvedReason;
+    }[];
+    entries: readonly {
+        id: string;
+        kind: EntryKind;
+        certainty: EntryCertainty;
+        method?: string;
+        path?: string;
+        file: string;
+        line: number;
+    }[];
+    unresolvedRegistrations?: readonly {
+        site: ReachSite;
+        reason: string;
+        evidence: string;
+    }[];
+    partial: readonly string[];
+}
+export type EdgeRelation = 'call' | 'reference' | 'field' | 'contains' | 'loads' | 'import';
+export interface PathStep {
+    /** The declaration this step arrives at. */
+    decl: string;
+    /** How it was reached from the previous step; `entry` for the first. */
+    via: 'entry' | EdgeRelation;
+    /** Calls: the edge's tier. */
+    tier?: Tier;
+    site?: ReachSite;
+}
+export interface ReachPath {
+    class: 'strong' | 'weak';
+    entry: {
+        id: string;
+        kind: EntryKind;
+        certainty: EntryCertainty;
+        method?: string;
+        path?: string;
+    };
+    steps: PathStep[];
+}
+export interface CouldReachSite {
+    kind: 'call' | 'registration';
+    from?: string;
+    methodName?: string;
+    reason: string;
+    site: ReachSite;
+}
+export interface ReachFact {
+    id: string;
+    qualified_name: string;
+    kind: StableDecl['kind'];
+    file: string;
+    strong: ReachPath | null;
+    weak: ReachPath | null;
+    /** Up to `maxUnresolved` sites, in site order. */
+    unresolved: CouldReachSite[];
+    unresolvedCount: number;
+}
+export interface ReachOptions {
+    /** Entry kinds used as roots. Default: every kind except `test`. */
+    rootKinds?: readonly EntryKind[];
+    /** Declaration ids to answer for. Default: every declaration. */
+    targets?: readonly string[];
+    /** Most unresolved sites listed per declaration. Default 5. */
+    maxUnresolved?: number;
+}
+export interface ReachResult {
+    scheme: typeof REACH_SCHEME;
+    ids: 'ids@0.1';
+    rootKinds: EntryKind[];
+    partial: string[];
+    /** One row per `partial` file: where its first blocking parse error is. */
+    partialFiles: PartialFile[];
+    facts: ReachFact[];
+}
+/** A file in `partial[]` and the first error that made it partial. */
+export interface PartialFile extends Partial<ParseErrorSite> {
+    file: string;
+}
+/**
+ * `partial` paths with their first blocking parse error, read from the
+ * files' `parseError`, sorted by path. A path with no error recorded (an
+ * older `StableIdFile`) keeps only `file`.
+ */
+export declare function partialFileDetails(partial: readonly string[], files: readonly StableIdFile[]): PartialFile[];
+export declare const ALL_ENTRY_KINDS: readonly EntryKind[];
+interface Edge {
+    to: string;
+    relation: EdgeRelation;
+    strong: boolean;
+    tier?: Tier;
+    site?: ReachSite;
+}
+/** The adjacency the walk uses: call graph edges plus the structural ones. */
+export declare class ReachGraph {
+    readonly input: ReachInput;
+    readonly decls: Map<string, {
+        decl: StableDecl;
+        file: string;
+    }>;
+    private readonly out;
+    constructor(input: ReachInput);
+    edgesFrom(id: string): readonly Edge[];
+}
+interface Visit {
+    prev: string | null;
+    edge: Edge | null;
+    root: number;
+}
+/**
+ * Breadth-first over (declaration, weak-so-far) states from the given roots.
+ * A state's first visit is its shortest path.
+ */
+export declare function walkFrom(g: ReachGraph, roots: readonly {
+    id: string;
+    weak: boolean;
+}[]): Map<string, Visit>;
+/** Declarations reached in any class from `visits`. */
+export declare function reachedIds(visits: Map<string, Visit>): Set<string>;
+/** `methodName` of an unresolved site that loads a module by a computed specifier. */
+export declare const COMPUTED_LOAD = "<module>";
+/**
+ * Unresolved sites in reached bodies that could bind to `d`: a non-external
+ * site with `d`'s name, a computed callee, or an unresolved registration.
+ * For a module: a module load with a computed specifier.
+ */
+export declare function couldReach(input: ReachInput, reached: ReadonlySet<string>, d: StableDecl): CouldReachSite[];
+export declare function reach(input: ReachInput, options?: ReachOptions): ReachResult;
+export {};
+//# sourceMappingURL=reach.d.ts.map

package/dist/graph-facts/reach.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../../src/graph-facts/reach.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACvF,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAElF,eAAO,MAAM,YAAY,EAAG,WAAoB,CAAC;AAEjD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAED,kEAAkE;AAClE,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,KAAK,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,SAAS,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAChG,UAAU,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IACtE,0DAA0D;IAC1D,SAAS,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IACrE,OAAO,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClD;;;;OAIG;IACH,KAAK,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IAClE,UAAU,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAC;QAAC,MAAM,EAAE,gBAAgB,CAAA;KAAE,EAAE,CAAC;IACvG,OAAO,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAC;QAAC,SAAS,EAAE,cAAc,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3I,uBAAuB,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3F,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;AAE5F,MAAM,WAAW,QAAQ;IACvB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,GAAG,EAAE,OAAO,GAAG,YAAY,CAAC;IAC5B,8BAA8B;IAC9B,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,IAAI,CAAC,EAAE,SAAS,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,QAAQ,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAC;QAAC,SAAS,EAAE,cAAc,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAClG,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,GAAG,cAAc,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IACvB,kDAAkD;IAClD,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,oEAAoE;IACpE,SAAS,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACjC,iEAAiE;IACjE,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,+DAA+D;IAC/D,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,OAAO,YAAY,CAAC;IAC5B,GAAG,EAAE,SAAS,CAAC;IACf,SAAS,EAAE,SAAS,EAAE,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,2EAA2E;IAC3E,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAED,sEAAsE;AACtE,MAAM,WAAW,WAAY,SAAQ,OAAO,CAAC,cAAc,CAAC;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,YAAY,EAAE,GAAG,WAAW,EAAE,CAM5G;AAED,eAAO,MAAM,eAAe,EAAE,SAAS,SAAS,EAE/C,CAAC;AAEF,UAAU,IAAI;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,IAAI,CAAC,EAAE,SAAS,CAAC;CAClB;AAED,8EAA8E;AAC9E,qBAAa,UAAU;IAIT,QAAQ,CAAC,KAAK,EAAE,UAAU;IAHtC,QAAQ,CAAC,KAAK;cAA2B,UAAU;cAAQ,MAAM;OAAM;IACvE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAA6B;IAEjD,YAAqB,KAAK,EAAE,UAAU,EAkCrC;IAED,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,IAAI,EAAE,CAErC;CACF;AAED,UAAU,KAAK;IACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,UAAU,EACb,KAAK,EAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GAC9C,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAsBpB;AA6BD,uDAAuD;AACvD,wBAAgB,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAElE;AAED,sFAAsF;AACtF,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,UAAU,GAAG,cAAc,EAAE,CAgB3G;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,GAAE,YAAiB,GAAG,WAAW,CA4BhF"}