circle-ir 4.17.0 → 4.18.1

package/dist/core/extractors/ts-declaration-detail.d.ts

@@ -0,0 +1,39 @@
+/**
+ * TypeScript/JavaScript declaration detail, added to `ir.types` and
+ * `ir.exports` only under `AnalyzerOptions.declarationDetail`.
+ *
+ * The default extraction leaves TypeScript declarations without their
+ * `export`, access modifiers, return types, class decorators and decorator
+ * arguments, and lists every declaration in `ir.exports`. This pass fills
+ * those in after the default extraction, matching declarations by name and
+ * line, so the default output is byte-identical when the option is off.
+ *
+ * Added, all optional or appended:
+ * - `TypeInfo.modifiers` — `export`, `default`, `abstract`, `declare`
+ * - `TypeInfo.decorators`, `MethodInfo.decorators`, `FieldInfo.decorators`,
+ *   `ParameterInfo.decorators` — name plus arguments (source text, and the
+ *   value of a string literal)
+ * - `MethodInfo.modifiers` gains `export`/`default` (module functions) and
+ *   `public`/`private`/`protected`/`readonly`/`abstract`/`override`
+ *   (members; a `#name` is `private`)
+ * - `MethodInfo.return_type` from the annotation, without the leading `:`
+ * - `FieldInfo.modifiers` gains access modifiers and `readonly`;
+ *   `FieldInfo.type` from the annotation
+ */
+import type { Node, Tree } from 'web-tree-sitter';
+import type { DecoratorInfo, ExportInfo, TypeInfo } from '../../types/index.js';
+/** A decorator's name and arguments. */
+export declare function decoratorInfo(node: Node): DecoratorInfo | null;
+/**
+ * Fill in TypeScript/JavaScript declaration detail on the types the default
+ * extraction produced. Mutates `types` in place.
+ */
+export declare function enrichTsDeclarations(tree: Tree, types: TypeInfo[]): void;
+/**
+ * `ir.exports` for a TypeScript/JavaScript file under declaration detail: a
+ * file with ES exports exports only what it marks `export`; a member is
+ * exported with its class unless `private`, as `protected` when protected.
+ * A file without any ES export keeps every declaration (CommonJS).
+ */
+export declare function extractTsExports(types: readonly TypeInfo[]): ExportInfo[] | null;
+//# sourceMappingURL=ts-declaration-detail.d.ts.map

package/dist/core/extractors/ts-declaration-detail.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-declaration-detail.d.ts","sourceRoot":"","sources":["../../../src/core/extractors/ts-declaration-detail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAyB,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAyBvG,wCAAwC;AACxC,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,aAAa,GAAG,IAAI,CAoB9D;AAoGD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAqCxE;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,IAAI,CAuBhF"}

package/dist/core/extractors/ts-declaration-detail.js

@@ -0,0 +1,266 @@
+/**
+ * TypeScript/JavaScript declaration detail, added to `ir.types` and
+ * `ir.exports` only under `AnalyzerOptions.declarationDetail`.
+ *
+ * The default extraction leaves TypeScript declarations without their
+ * `export`, access modifiers, return types, class decorators and decorator
+ * arguments, and lists every declaration in `ir.exports`. This pass fills
+ * those in after the default extraction, matching declarations by name and
+ * line, so the default output is byte-identical when the option is off.
+ *
+ * Added, all optional or appended:
+ * - `TypeInfo.modifiers` — `export`, `default`, `abstract`, `declare`
+ * - `TypeInfo.decorators`, `MethodInfo.decorators`, `FieldInfo.decorators`,
+ *   `ParameterInfo.decorators` — name plus arguments (source text, and the
+ *   value of a string literal)
+ * - `MethodInfo.modifiers` gains `export`/`default` (module functions) and
+ *   `public`/`private`/`protected`/`readonly`/`abstract`/`override`
+ *   (members; a `#name` is `private`)
+ * - `MethodInfo.return_type` from the annotation, without the leading `:`
+ * - `FieldInfo.modifiers` gains access modifiers and `readonly`;
+ *   `FieldInfo.type` from the annotation
+ */
+function named(node) {
+    const out = [];
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const c = node.namedChild(i);
+        if (c && c.type !== 'comment')
+            out.push(c);
+    }
+    return out;
+}
+function tokens(node) {
+    const out = [];
+    for (let i = 0; i < node.childCount; i++) {
+        const c = node.child(i);
+        if (c && !c.isNamed)
+            out.push(c.text);
+    }
+    return out;
+}
+function stringLiteral(node) {
+    if (node.type !== 'string')
+        return undefined;
+    return named(node).map(c => c.text).join('');
+}
+/** A decorator's name and arguments. */
+export function decoratorInfo(node) {
+    const expr = named(node)[0];
+    if (!expr)
+        return null;
+    let callee = expr;
+    let args = [];
+    if (expr.type === 'call_expression') {
+        callee = expr.childForFieldName('function');
+        const a = expr.childForFieldName('arguments');
+        args = a ? named(a) : [];
+    }
+    if (!callee)
+        return null;
+    const name = callee.type === 'member_expression' ? callee.childForFieldName('property')?.text : callee.text;
+    if (!name)
+        return null;
+    return {
+        name,
+        arguments: args.map(a => {
+            const value = stringLiteral(a);
+            return value === undefined ? { text: a.text } : { text: a.text, value };
+        }),
+    };
+}
+function decoratorsOf(nodes) {
+    return nodes.filter(n => n.type === 'decorator').map(decoratorInfo).filter((d) => d !== null);
+}
+/** `export` / `default` for a declaration whose statement is exported. */
+function exportModifiers(holder) {
+    const stmt = holder.parent?.type === 'export_statement' ? holder.parent : null;
+    if (!stmt)
+        return [];
+    return tokens(stmt).includes('default') ? ['export', 'default'] : ['export'];
+}
+const MEMBER_WORDS = ['readonly', 'abstract', 'override', 'static', 'declare'];
+/** Access and other member modifiers, in source order. */
+function memberModifiers(member) {
+    const out = [];
+    for (let i = 0; i < member.childCount; i++) {
+        const c = member.child(i);
+        if (!c)
+            continue;
+        if (c.type === 'accessibility_modifier')
+            out.push(c.text);
+        else if (c.type === 'override_modifier')
+            out.push('override');
+        else if (!c.isNamed && MEMBER_WORDS.includes(c.text))
+            out.push(c.text);
+    }
+    const name = member.childForFieldName('name') ?? member.childForFieldName('property');
+    if (name?.type === 'private_property_identifier' && !out.includes('private'))
+        out.push('private');
+    return out;
+}
+function annotationText(node) {
+    return node ? node.text.replace(/^:\s*/, '') : null;
+}
+function addModifiers(target, extra) {
+    for (const m of extra)
+        if (!target.includes(m))
+            target.push(m);
+}
+/** Exported local names from `export { a, b as c }` and `export default a`. */
+function clauseExports(root) {
+    const names = new Set();
+    let defaultName = null;
+    for (const stmt of named(root)) {
+        if (stmt.type !== 'export_statement' || stmt.childForFieldName('source'))
+            continue;
+        const clause = named(stmt).find(c => c.type === 'export_clause');
+        for (const s of clause ? named(clause) : []) {
+            const name = s.childForFieldName('name')?.text;
+            const alias = s.childForFieldName('alias')?.text;
+            if (!name)
+                continue;
+            if (alias === 'default')
+                defaultName = name;
+            else
+                names.add(name);
+        }
+        const value = stmt.childForFieldName('value');
+        if (value?.type === 'identifier')
+            defaultName = value.text;
+    }
+    return { names, defaultName };
+}
+function enrichMethod(m, fn, decorators, extra) {
+    addModifiers(m.modifiers, extra);
+    const ret = fn.childForFieldName('return_type');
+    if (ret && m.return_type === null)
+        m.return_type = annotationText(ret);
+    const decs = decoratorsOf(decorators);
+    if (decs.length > 0)
+        m.decorators = decs;
+    const params = fn.childForFieldName('parameters');
+    for (const p of params ? named(params) : []) {
+        const pd = decoratorsOf(named(p));
+        if (pd.length === 0)
+            continue;
+        const line = p.startPosition.row + 1;
+        const info = m.parameters.find(x => x.line === line && !x.decorators && p.text.includes(x.name.replace(/^\.\.\./, '')));
+        if (info)
+            info.decorators = pd;
+    }
+}
+function enrichClassBody(type, body) {
+    let pending = [];
+    for (const member of named(body)) {
+        if (member.type === 'decorator') {
+            pending.push(member);
+            continue;
+        }
+        const line = member.startPosition.row + 1;
+        const nameNode = member.childForFieldName('name') ?? member.childForFieldName('property');
+        const name = nameNode?.text;
+        if (member.type === 'method_definition' && name) {
+            const m = type.methods.find(x => x.name === name && x.start_line === line);
+            if (m)
+                enrichMethod(m, member, pending, memberModifiers(member));
+        }
+        else if ((member.type === 'public_field_definition' || member.type === 'field_definition') && name) {
+            const f = type.fields.find(x => x.name === name);
+            if (f) {
+                addModifiers(f.modifiers, memberModifiers(member));
+                if (f.type === null)
+                    f.type = annotationText(member.childForFieldName('type'));
+                const decs = decoratorsOf(pending);
+                if (decs.length > 0)
+                    f.decorators = decs;
+            }
+        }
+        pending = [];
+    }
+}
+/**
+ * Fill in TypeScript/JavaScript declaration detail on the types the default
+ * extraction produced. Mutates `types` in place.
+ */
+export function enrichTsDeclarations(tree, types) {
+    const root = tree.rootNode;
+    const { names, defaultName } = clauseExports(root);
+    const clauseMods = (name) => name === defaultName ? ['export', 'default'] : names.has(name) ? ['export'] : [];
+    const visit = (node) => {
+        const t = node.type;
+        if (t === 'class_declaration' || t === 'abstract_class_declaration' || t === 'interface_declaration') {
+            const line = node.startPosition.row + 1;
+            const name = node.childForFieldName('name')?.text;
+            const type = types.find(x => x.name === name && x.start_line === line);
+            if (type && name) {
+                const mods = [...exportModifiers(node), ...clauseMods(name)];
+                if (t === 'abstract_class_declaration')
+                    mods.push('abstract');
+                if (node.parent?.type === 'ambient_declaration')
+                    mods.push('declare');
+                type.modifiers = [...new Set(mods)];
+                const decs = decoratorsOf([...(node.parent?.type === 'export_statement' ? named(node.parent) : []), ...named(node)]);
+                if (decs.length > 0)
+                    type.decorators = decs;
+                const body = node.childForFieldName('body');
+                if (body && t !== 'interface_declaration')
+                    enrichClassBody(type, body);
+            }
+        }
+        else if (t === 'function_declaration' || t === 'generator_function_declaration') {
+            const module = types.find(x => x.name === '<module>');
+            const name = node.childForFieldName('name')?.text;
+            const m = module?.methods.find(x => x.name === name && x.start_line === node.startPosition.row + 1);
+            if (m && name)
+                enrichMethod(m, node, [], [...exportModifiers(node), ...clauseMods(name)]);
+        }
+        else if (t === 'variable_declarator') {
+            const value = node.childForFieldName('value');
+            const name = node.childForFieldName('name')?.text;
+            const decl = node.parent;
+            const module = types.find(x => x.name === '<module>');
+            const m = module?.methods.find(x => x.name === name && x.start_line === node.startPosition.row + 1);
+            if (m && name && value?.type === 'arrow_function' && decl)
+                enrichMethod(m, value, [], [...exportModifiers(decl), ...clauseMods(name)]);
+        }
+        for (const c of named(node))
+            visit(c);
+    };
+    visit(root);
+}
+/**
+ * `ir.exports` for a TypeScript/JavaScript file under declaration detail: a
+ * file with ES exports exports only what it marks `export`; a member is
+ * exported with its class unless `private`, as `protected` when protected.
+ * A file without any ES export keeps every declaration (CommonJS).
+ */
+export function extractTsExports(types) {
+    const esm = types.some(t => t.modifiers?.includes('export') || t.methods.some(m => m.modifiers.includes('export')));
+    if (!esm)
+        return null;
+    const out = [];
+    const visibility = (mods) => mods.includes('private') ? null : mods.includes('protected') ? 'protected' : 'public';
+    for (const t of types) {
+        if (t.name === '<module>') {
+            for (const m of t.methods)
+                if (m.modifiers.includes('export'))
+                    out.push({ symbol: m.name, kind: 'method', visibility: 'public' });
+            continue;
+        }
+        if (!t.modifiers?.includes('export'))
+            continue;
+        out.push({ symbol: t.name, kind: t.kind === 'enum' ? 'class' : t.kind, visibility: 'public' });
+        for (const m of t.methods) {
+            const v = visibility(m.modifiers);
+            if (v)
+                out.push({ symbol: `${t.name}.${m.name}`, kind: 'method', visibility: v });
+        }
+        for (const f of t.fields) {
+            const v = visibility(f.modifiers);
+            if (v)
+                out.push({ symbol: `${t.name}.${f.name}`, kind: 'field', visibility: v });
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=ts-declaration-detail.js.map

package/dist/core/extractors/ts-declaration-detail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-declaration-detail.js","sourceRoot":"","sources":["../../../src/core/extractors/ts-declaration-detail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAKH,SAAS,KAAK,CAAC,IAAU;IACvB,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,IAAU;IACxB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,IAAU;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,aAAa,CAAC,IAAU;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,MAAM,GAAgB,IAAI,CAAC;IAC/B,IAAI,IAAI,GAAW,EAAE,CAAC;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAC5G,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO;QACL,IAAI;QACJ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACtB,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC1E,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAsB;IAC1C,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAsB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AACpH,CAAC;AAED,0EAA0E;AAC1E,SAAS,eAAe,CAAC,MAAY;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAE/E,0DAA0D;AAC1D,SAAS,eAAe,CAAC,MAAY;IACnC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;aACzD,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACtF,IAAI,IAAI,EAAE,IAAI,KAAK,6BAA6B,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClG,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,IAAiB;IACvC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,MAAgB,EAAE,KAAwB;IAC9D,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,+EAA+E;AAC/E,SAAS,aAAa,CAAC,IAAU;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC;YAAE,SAAS;QACnF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;YAC/C,MAAM,KAAK,GAAG,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;YACjD,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,KAAK,KAAK,SAAS;gBAAE,WAAW,GAAG,IAAI,CAAC;;gBACvC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY;YAAE,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CAAC,CAAa,EAAE,EAAQ,EAAE,UAA2B,EAAE,KAAwB;IAClG,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAChD,IAAI,GAAG,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;QAAE,CAAC,CAAC,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACxH,IAAI,IAAI;YAAE,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,IAAc,EAAE,IAAU;IACjD,IAAI,OAAO,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC1F,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAI,CAAC;QAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;YAC3E,IAAI,CAAC;gBAAE,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,CAAC;aAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,yBAAyB,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,CAAC,IAAI,IAAI,EAAE,CAAC;YACrG,MAAM,CAAC,GAA0B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACxE,IAAI,CAAC,EAAE,CAAC;gBACN,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,CAAC,CAAC,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC/E,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,OAAO,GAAG,EAAE,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAU,EAAE,KAAiB;IAChE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAY,EAAE,CAC5C,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;QACpB,IAAI,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,4BAA4B,IAAI,CAAC,KAAK,uBAAuB,EAAE,CAAC;YACrG,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;YACvE,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7D,IAAI,CAAC,KAAK,4BAA4B;oBAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9D,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,qBAAqB;oBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtE,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrH,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;gBAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC5C,IAAI,IAAI,IAAI,CAAC,KAAK,uBAAuB;oBAAE,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,KAAK,sBAAsB,IAAI,CAAC,KAAK,gCAAgC,EAAE,CAAC;YAClF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;YAClD,MAAM,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACpG,IAAI,CAAC,IAAI,IAAI;gBAAE,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5F,CAAC;aAAM,IAAI,CAAC,KAAK,qBAAqB,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YACtD,MAAM,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACpG,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,EAAE,IAAI,KAAK,gBAAgB,IAAI,IAAI;gBAAE,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzI,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA0B;IACzD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpH,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,CAAC,IAAuB,EAAmC,EAAE,CAC9E,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;IACxF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClI,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC/C,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/graph/analysis-pass.d.ts

@@ -79,6 +79,9 @@ export interface PipelineRunResult {
 export declare class AnalysisPipeline {
     private readonly passes;
     add<T>(pass: AnalysisPass<T>): this;
-    run(graph: CodeGraph, code: string, language: string, config: TaintConfig, resources?: ReadonlyMap<string, string>): PipelineRunResult;
+    run(graph: CodeGraph, code: string, language: string, config: TaintConfig, resources?: ReadonlyMap<string, string>, limit?: {
+        deadline: number;
+        onExpired: (phase: string) => Error;
+    }): PipelineRunResult;
 }
 //# sourceMappingURL=analysis-pass.d.ts.map

package/dist/graph/analysis-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-pass.d.ts","sourceRoot":"","sources":["../../src/graph/analysis-pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEjD;;;OAGG;IACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,CAAC;IAElC,oEAAoE;IACpE,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IAErC;;;OAGG;IACH,UAAU,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAEvC;;;;;;;;OAQG;IACH,WAAW,CAAC,IAAI,SAAS,WAAW,EAAE,CAAC;CACxC;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,OAAO,GAAG,OAAO;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,GAAG,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC;CACpC;AAED,8CAA8C;AAC9C,MAAM,WAAW,iBAAiB;IAChC,sEAAsE;IACtE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,2EAA2E;IAC3E,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAsB;IAE7C,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAGlC;IAED,GAAG,CACD,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,EACnB,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACtC,iBAAiB,CAmDnB;CACF"}
+{"version":3,"file":"analysis-pass.d.ts","sourceRoot":"","sources":["../../src/graph/analysis-pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEjD;;;OAGG;IACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,CAAC;IAElC,oEAAoE;IACpE,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IAErC;;;OAGG;IACH,UAAU,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAEvC;;;;;;;;OAQG;IACH,WAAW,CAAC,IAAI,SAAS,WAAW,EAAE,CAAC;CACxC;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,OAAO,GAAG,OAAO;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,GAAG,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC;CACpC;AAED,8CAA8C;AAC9C,MAAM,WAAW,iBAAiB;IAChC,sEAAsE;IACtE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,2EAA2E;IAC3E,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAsB;IAE7C,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAGlC;IAED,GAAG,CACD,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,EACnB,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KAAE,GAChE,iBAAiB,CAqDnB;CACF"}

package/dist/graph/analysis-pass.js

@@ -20,7 +20,7 @@ export class AnalysisPipeline {
         this.passes.push(pass);
         return this;
     }
-    run(graph, code, language, config, resources) {
+    run(graph, code, language, config, resources, limit) {
         const results = new Map();
         const findings = [];
         const context = {
@@ -50,6 +50,9 @@ export class AnalysisPipeline {
         // — browser-safe (no `process` access). Used by #141 investigation.
         const timingEnabled = globalThis.__circleIrPassTiming === true;
         for (const pass of this.passes) {
+            // cognium-dev#1007: opt-in per-file time limit, checked between passes.
+            if (limit && Date.now() > limit.deadline)
+                throw limit.onExpired(pass.name);
             if (timingEnabled) {
                 // eslint-disable-next-line no-console
                 console.error(`[pass-start] ${pass.name} file=${graph.ir.meta.file}`);

package/dist/graph/analysis-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-pass.js","sourceRoot":"","sources":["../../src/graph/analysis-pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAwEH;;;;;;;;GAQG;AACH,MAAM,OAAO,gBAAgB;IACV,MAAM,GAAmB,EAAE,CAAC;IAE7C,GAAG,CAAI,IAAqB;QAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CACD,KAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,MAAmB,EACnB,SAAuC;QAEvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC3C,MAAM,QAAQ,GAAkB,EAAE,CAAC;QAEnC,MAAM,OAAO,GAAgB;YAC3B,KAAK;YACL,IAAI;YACJ,QAAQ;YACR,MAAM;YACN,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,SAAS,CAAI,QAAgB;gBAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,KAAK,CACb,SAAS,QAAQ,8CAA8C,CAChE,CAAC;gBACJ,CAAC;gBACD,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAM,CAAC;YACpC,CAAC;YACD,SAAS,CAAC,QAAgB;gBACxB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC/B,CAAC;YACD,UAAU,CAAC,OAAoB;gBAC7B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,WAAW;gBACT,OAAO,QAAQ,CAAC;YAClB,CAAC;SACF,CAAC;QAEF,4CAA4C;QAC5C,4EAA4E;QAC5E,oEAAoE;QACpE,MAAM,aAAa,GAChB,UAAiD,CAAC,oBAAoB,KAAK,IAAI,CAAC;QAEnF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,aAAa,EAAE,CAAC;gBAClB,sCAAsC;gBACtC,OAAO,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,CAAC;YACD,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;gBAC3B,sCAAsC;gBACtC,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,IAAI,IAAI,EAAE,WAAW,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC/B,CAAC;CACF"}
+{"version":3,"file":"analysis-pass.js","sourceRoot":"","sources":["../../src/graph/analysis-pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAwEH;;;;;;;;GAQG;AACH,MAAM,OAAO,gBAAgB;IACV,MAAM,GAAmB,EAAE,CAAC;IAE7C,GAAG,CAAI,IAAqB;QAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CACD,KAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,MAAmB,EACnB,SAAuC,EACvC,KAAiE;QAEjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC3C,MAAM,QAAQ,GAAkB,EAAE,CAAC;QAEnC,MAAM,OAAO,GAAgB;YAC3B,KAAK;YACL,IAAI;YACJ,QAAQ;YACR,MAAM;YACN,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,SAAS,CAAI,QAAgB;gBAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,KAAK,CACb,SAAS,QAAQ,8CAA8C,CAChE,CAAC;gBACJ,CAAC;gBACD,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAM,CAAC;YACpC,CAAC;YACD,SAAS,CAAC,QAAgB;gBACxB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC/B,CAAC;YACD,UAAU,CAAC,OAAoB;gBAC7B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,WAAW;gBACT,OAAO,QAAQ,CAAC;YAClB,CAAC;SACF,CAAC;QAEF,4CAA4C;QAC5C,4EAA4E;QAC5E,oEAAoE;QACpE,MAAM,aAAa,GAChB,UAAiD,CAAC,oBAAoB,KAAK,IAAI,CAAC;QAEnF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,wEAAwE;YACxE,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,QAAQ;gBAAE,MAAM,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3E,IAAI,aAAa,EAAE,CAAC;gBAClB,sCAAsC;gBACtC,OAAO,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,CAAC;YACD,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;gBAC3B,sCAAsC;gBACtC,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,IAAI,IAAI,EAAE,WAAW,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC/B,CAAC;CACF"}

package/dist/graph-facts/dead-code.d.ts

@@ -0,0 +1,62 @@
+/**
+ * The dead-code answer (`dead-code@0.1`): per declaration, whether any
+ * entry point can reach it, how strongly, and whether a test does.
+ *
+ * - `live` — a strong path exists.
+ * - `may-be-live` — no strong path, but a weak path, an unresolved site that
+ *   could reach it, or a file that did not parse and could reach it (its
+ *   calls are missing: anything in it, in a module it imports, or reachable
+ *   from those over any edge).
+ *   `reasons` says which; the paths and sites are on the fact.
+ * - `dead` — none of these. Only this verdict claims anything.
+ *
+ * Test reach is computed separately from `test` roots: code that only tests
+ * reach is dead product code (`reachedByTest` tells the caller which tests
+ * exercise it). Declarations in test files, and declarations that exist only
+ * for the type checker, are left out of the answer.
+ */
+import type { EntryKind } from '../navigation/ts-entry-tables.js';
+import { ReachGraph, type PartialFile, type ReachFact, type ReachInput } from './reach.js';
+export declare const DEAD_CODE_SCHEME: 'dead-code@0.1';
+export type DeadCodeVerdict = 'live' | 'may-be-live' | 'dead';
+export type MayBeLiveReason = 'weak-path' | 'unresolved-sites' | 'partial-files';
+export interface DeadCodeFact extends ReachFact {
+    verdict: DeadCodeVerdict;
+    reasons: MayBeLiveReason[];
+    reachedByTest: boolean;
+    /** The test entry whose walk first reached it (shortest), when `reachedByTest`. */
+    test?: string;
+}
+export interface DeadCodeOptions {
+    /** Product roots. Default: every entry kind except `test`. */
+    rootKinds?: readonly EntryKind[];
+    /** Files that are tests; their declarations are not reported. Default: none beyond `testFiles` of the input. */
+    testFile?: RegExp;
+    /** Declaration ids that exist only for the type checker; not reported. */
+    typeOnly?: readonly string[];
+    /** Most unresolved sites listed per declaration. Default 5. */
+    maxUnresolved?: number;
+}
+export interface DeadCodeResult {
+    scheme: typeof DEAD_CODE_SCHEME;
+    ids: 'ids@0.1';
+    rootKinds: EntryKind[];
+    partial: string[];
+    /** One row per `partial` file: where its first blocking parse error is. */
+    partialFiles: PartialFile[];
+    facts: DeadCodeFact[];
+    summary: Record<DeadCodeVerdict, number> & {
+        reachedByTestOnly: number;
+    };
+}
+export declare function deadCode(input: ReachInput & {
+    typeOnly?: readonly string[];
+}, options?: DeadCodeOptions): DeadCodeResult;
+/**
+ * What files that did not parse could reach: their own declarations, the
+ * modules they import or load, and everything reachable from those over any
+ * edge. A missing call site can only run what its file can name, so the rest
+ * of the tree keeps its verdict.
+ */
+export declare function partialScope(g: ReachGraph, input: ReachInput): Set<string>;
+//# sourceMappingURL=dead-code.d.ts.map

package/dist/graph-facts/dead-code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dead-code.d.ts","sourceRoot":"","sources":["../../src/graph-facts/dead-code.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAmB,UAAU,EAA+B,KAAK,WAAW,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAEzI,eAAO,MAAM,gBAAgB,EAAG,eAAwB,CAAC;AAEzD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,aAAa,GAAG,MAAM,CAAC;AAE9D,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,kBAAkB,GAAG,eAAe,CAAC;AAEjF,MAAM,WAAW,YAAa,SAAQ,SAAS;IAC7C,OAAO,EAAE,eAAe,CAAC;IACzB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,aAAa,EAAE,OAAO,CAAC;IACvB,mFAAmF;IACnF,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,8DAA8D;IAC9D,SAAS,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACjC,gHAAgH;IAChH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,+DAA+D;IAC/D,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,OAAO,gBAAgB,CAAC;IAChC,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,YAAY,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,GAAG;QAAE,iBAAiB,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1E;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAmC5H;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAc1E"}

package/dist/graph-facts/dead-code.js

@@ -0,0 +1,90 @@
+/**
+ * The dead-code answer (`dead-code@0.1`): per declaration, whether any
+ * entry point can reach it, how strongly, and whether a test does.
+ *
+ * - `live` — a strong path exists.
+ * - `may-be-live` — no strong path, but a weak path, an unresolved site that
+ *   could reach it, or a file that did not parse and could reach it (its
+ *   calls are missing: anything in it, in a module it imports, or reachable
+ *   from those over any edge).
+ *   `reasons` says which; the paths and sites are on the fact.
+ * - `dead` — none of these. Only this verdict claims anything.
+ *
+ * Test reach is computed separately from `test` roots: code that only tests
+ * reach is dead product code (`reachedByTest` tells the caller which tests
+ * exercise it). Declarations in test files, and declarations that exist only
+ * for the type checker, are left out of the answer.
+ */
+import { ALL_ENTRY_KINDS, ReachGraph, reach, reachedIds, walkFrom } from './reach.js';
+export const DEAD_CODE_SCHEME = 'dead-code@0.1';
+export function deadCode(input, options = {}) {
+    const product = reach(input, { rootKinds: options.rootKinds ?? ALL_ENTRY_KINDS.filter(k => k !== 'test'), maxUnresolved: options.maxUnresolved });
+    // Test reach: every path class counts — a test that reaches it only through an inferred call still exercises it.
+    const g = new ReachGraph(input);
+    const testRoots = input.entries.filter(e => e.kind === 'test');
+    const testVisits = walkFrom(g, testRoots.map(e => ({ id: e.id, weak: e.certainty === 'inferred' })));
+    const byTest = reachedIds(testVisits);
+    const firstTest = (id) => {
+        const v = testVisits.get(`0${id}`) ?? testVisits.get(`1${id}`);
+        return v ? testRoots[v.root].id : undefined;
+    };
+    const typeOnly = new Set([...(options.typeOnly ?? []), ...(input.typeOnly ?? [])]);
+    const testFiles = new Set(input.entries.filter(e => e.kind === 'test').map(e => e.file));
+    const isTestFile = (file) => testFiles.has(file) || (options.testFile?.test(file) ?? false);
+    const partialReach = partialScope(g, input);
+    const facts = [];
+    const summary = { live: 0, 'may-be-live': 0, dead: 0, reachedByTestOnly: 0 };
+    for (const f of product.facts) {
+        if (typeOnly.has(f.id) || isTestFile(f.file))
+            continue;
+        const reasons = [];
+        if (!f.strong) {
+            if (f.weak)
+                reasons.push('weak-path');
+            if (f.unresolvedCount > 0)
+                reasons.push('unresolved-sites');
+            if (partialReach.has(f.id))
+                reasons.push('partial-files');
+        }
+        const verdict = f.strong ? 'live' : reasons.length > 0 ? 'may-be-live' : 'dead';
+        const reachedByTest = byTest.has(f.id);
+        const fact = { ...f, verdict, reasons, reachedByTest };
+        const t = reachedByTest ? firstTest(f.id) : undefined;
+        if (t)
+            fact.test = t;
+        facts.push(fact);
+        summary[verdict]++;
+        if (verdict === 'dead' && reachedByTest)
+            summary.reachedByTestOnly++;
+    }
+    return { scheme: DEAD_CODE_SCHEME, ids: 'ids@0.1', rootKinds: product.rootKinds, partial: product.partial, partialFiles: product.partialFiles, facts, summary };
+}
+/**
+ * What files that did not parse could reach: their own declarations, the
+ * modules they import or load, and everything reachable from those over any
+ * edge. A missing call site can only run what its file can name, so the rest
+ * of the tree keeps its verdict.
+ */
+export function partialScope(g, input) {
+    if (input.partial.length === 0)
+        return new Set();
+    const partial = new Set(input.partial);
+    const declFile = new Map();
+    for (const f of input.files)
+        for (const d of f.decls)
+            declFile.set(d.id, f.file);
+    const seedFiles = new Set(partial);
+    for (const i of [...(input.imports ?? []), ...(input.loads ?? [])]) {
+        const from = declFile.get(i.from);
+        const to = declFile.get(i.to);
+        if (from && to && partial.has(from))
+            seedFiles.add(to);
+    }
+    const seeds = [];
+    for (const f of input.files)
+        if (seedFiles.has(f.file))
+            for (const d of f.decls)
+                seeds.push({ id: d.id, weak: true });
+    return reachedIds(walkFrom(g, seeds));
+}
+//# sourceMappingURL=dead-code.js.map

package/dist/graph-facts/dead-code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dead-code.js","sourceRoot":"","sources":["../../src/graph-facts/dead-code.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAqD,MAAM,YAAY,CAAC;AAEzI,MAAM,CAAC,MAAM,gBAAgB,GAAG,eAAwB,CAAC;AAoCzD,MAAM,UAAU,QAAQ,CAAC,KAAoD,EAAE,OAAO,GAAoB,EAAE;IAC1G,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAClJ,iHAAiH;IACjH,MAAM,CAAC,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IACrG,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,CAAC,EAAU,EAAsB,EAAE;QACnD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;IAC7G,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACvD,MAAM,OAAO,GAAsB,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACtC,IAAI,CAAC,CAAC,eAAe,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5D,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5D,CAAC;QACD,MAAM,OAAO,GAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;QACjG,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,IAAI,GAAiB,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtD,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnB,IAAI,OAAO,KAAK,MAAM,IAAI,aAAa;YAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAClK,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAa,EAAE,KAAiB;IAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,IAAI,IAAI,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,KAAK,GAAoC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK;QAAE,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACtH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AACxC,CAAC"}

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"}