@quolu/lattice 0.70.0 → 0.71.0

package/sensor/dist/resolution/swift-type-visibility.js

@@ -0,0 +1,328 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.clearSwiftTypeVisibility = clearSwiftTypeVisibility;
+exports.isSwiftExtension = isSwiftExtension;
+exports.declaresExtension = declaresExtension;
+exports.swiftExtendedConformances = swiftExtendedConformances;
+exports.gateSwiftTypeTarget = gateSwiftTypeTarget;
+const TYPE_KINDS = new Set(['class', 'struct', 'enum', 'interface', 'protocol', 'type_alias']);
+/** The first declaration keyword of a class_declaration, past its attributes and modifiers. */
+const DECLARATION_KEYWORD = /\b(extension|class|struct|enum|actor|protocol)\b/;
+const memos = new WeakMap();
+function memoFor(context) {
+    let memo = memos.get(context);
+    if (!memo) {
+        memo = { extension: new Map(), declaration: new Map(), conformances: new Map(), clauses: new Map(), inherited: new Map() };
+        memos.set(context, memo);
+    }
+    return memo;
+}
+/** Drop the memos (see ReferenceResolver.clearCaches). */
+function clearSwiftTypeVisibility(context) {
+    memos.delete(context);
+}
+/** Is this Swift node an `extension` of a type rather than its declaration? */
+function isSwiftExtension(node, context) {
+    // Extraction classifies an extension as a class (it is neither struct nor enum).
+    if (node.language !== 'swift' || node.kind !== 'class')
+        return false;
+    const memo = memoFor(context).extension;
+    const hit = memo.get(node.id);
+    if (hit !== undefined)
+        return hit;
+    const lines = linesOf(node.filePath, context);
+    const extension = !!lines && declaresExtension(lines, node);
+    memo.set(node.id, extension);
+    return extension;
+}
+/** Does the class_declaration at `node`'s position open with `extension`? From the file's lines. */
+function declaresExtension(lines, node) {
+    const head = [
+        (lines[node.startLine - 1] ?? '').slice(node.startColumn),
+        ...lines.slice(node.startLine, Math.min(node.endLine, node.startLine + 4)),
+    ]
+        .join(' ')
+        // An attribute's string argument (`message: "use class Foo"`) is not a keyword.
+        .replace(/"(?:[^"\\\n]|\\.)*"/g, '""');
+    return DECLARATION_KEYWORD.exec(head)?.[1] === 'extension';
+}
+/** A declaration's inheritance clause: `struct HomeView: View, Sendable {` → `View, Sendable`. */
+const INHERITANCE_CLAUSE = /\b(?:class|struct|enum|actor|protocol|extension)\s+[A-Za-z_][\w.]*\s*(?:<[^{}]*?>)?\s*:\s*([^{]*?)\s*(?:\bwhere\b[^{]*)?\{/;
+/** The supertypes a Swift type node's own declaration names: `View`, `Sendable` for `struct HomeView: View, Sendable {`. */
+function declaredSupertypes(node, context) {
+    const memo = memoFor(context).clauses;
+    const hit = memo.get(node.id);
+    if (hit)
+        return hit;
+    let names = [];
+    const lines = linesOf(node.filePath, context);
+    if (lines) {
+        const head = [(lines[node.startLine - 1] ?? '').slice(node.startColumn), ...lines.slice(node.startLine, Math.min(node.endLine, node.startLine + 6))].join(' ');
+        const clause = INHERITANCE_CLAUSE.exec(head.replace(/"(?:[^"\\\n]|\\.)*"/g, '""'))?.[1];
+        if (clause) {
+            names = clause
+                .split(',')
+                .map((part) => part.replace(GENERIC_ARGS, '').trim().split('.').pop().trim())
+                .filter((name) => /^[A-Za-z_]\w*$/.test(name));
+        }
+    }
+    memo.set(node.id, names);
+    return names;
+}
+/**
+ * The types a Swift type node's own declaration conforms to that the project
+ * only extends — `View` for `struct HomeView: View` when `extension View {}`
+ * is all the index holds of it. Those conformances resolve to nothing (an
+ * extension is not the type), yet the members the extensions add are the
+ * conformer's: the supertype walk reads them from here. From the source, once
+ * per node — the resolved edges it would otherwise come from do not exist.
+ */
+function swiftExtendedConformances(node, context) {
+    if (node.language !== 'swift')
+        return [];
+    const memo = memoFor(context).conformances;
+    const hit = memo.get(node.id);
+    if (hit)
+        return hit;
+    const names = declaredSupertypes(node, context).filter((name) => {
+        const typed = context.getNodesByName(name).filter((n) => n.language === 'swift' && TYPE_KINDS.has(n.kind));
+        return typed.length > 0 && typed.every((n) => isSwiftExtension(n, context));
+    });
+    memo.set(node.id, names);
+    return names;
+}
+/** Every type a Swift type inherits from or conforms to, as declared in the project — transitively, a few levels. */
+function inheritedTypeNames(typeName, context) {
+    const memo = memoFor(context).inherited;
+    const hit = memo.get(typeName);
+    if (hit)
+        return hit;
+    const found = new Set();
+    let frontier = [typeName];
+    for (let depth = 0; depth < 4 && frontier.length > 0; depth++) {
+        const next = [];
+        for (const name of frontier) {
+            for (const node of context.getNodesByName(name)) {
+                if (node.language !== 'swift' || !TYPE_KINDS.has(node.kind))
+                    continue;
+                for (const sup of declaredSupertypes(node, context)) {
+                    if (sup === typeName || found.has(sup))
+                        continue;
+                    found.add(sup);
+                    next.push(sup);
+                }
+            }
+        }
+        frontier = next;
+    }
+    memo.set(typeName, found);
+    return found;
+}
+/** The type path a nested type is declared in (`AccountsListViewModel` for `AccountsListViewModel::State`), or null at the top level. */
+function parentPath(node) {
+    const sep = node.qualifiedName.lastIndexOf('::');
+    if (sep <= 0)
+        return null;
+    const parent = node.qualifiedName.slice(0, sep);
+    // A framework resolver's node is named after its file (`Sources/App/Home.swift::Home`), not a scope.
+    if (parent.includes('/') || parent.endsWith('.swift'))
+        return null;
+    return parent;
+}
+/**
+ * How deep the code at `from` sits in `target`'s scope, when it may name
+ * `target` bare: 0 for a top-level type, the parent's segment count inside
+ * the parent or a subtype of it, one more inside the type itself; null when
+ * out of scope. An `extension API.PackageController` carries only its last
+ * segment (`PackageController::get`), so a suffix of a path counts as inside
+ * it too.
+ */
+function bareScopeDepth(target, from, context) {
+    const parent = parentPath(target);
+    if (!parent)
+        return 0;
+    if (!from)
+        return null;
+    const scope = from.qualifiedName;
+    const inside = (path) => {
+        const segs = path.split('::');
+        for (let i = 0; i < segs.length; i++) {
+            const suffix = segs.slice(i).join('::');
+            if (scope === suffix || scope.startsWith(`${suffix}::`))
+                return true;
+        }
+        return false;
+    };
+    const depth = parent.split('::').length;
+    // Inside the type itself — `extension NIOBSDSocket.Option { static let x: Option }` —
+    // or inside its parent.
+    if (inside(target.qualifiedName))
+        return depth + 1;
+    if (inside(parent))
+        return depth;
+    // A subclass (or conformer) names its supertype's nested types bare:
+    // `ReadResult` in `BaseStreamSocketChannel: BaseSocketChannel`.
+    const parentName = parent.split('::').pop();
+    const scopeTypes = scope.split('::');
+    for (const name of scopeTypes) {
+        if (inheritedTypeNames(name, context).has(parentName))
+            return depth;
+    }
+    return null;
+}
+/** The source lines of a file, through the resolver's line cache when it has one. */
+function linesOf(filePath, context) {
+    return context.getFileLines?.(filePath) ?? context.readFile(filePath)?.split(/\r?\n/) ?? null;
+}
+/** `<Success>` / `<Key, [Value]>` — one level of nesting is all a qualifier carries in practice. */
+const GENERIC_ARGS = /<[^<>]*(?:<[^<>]*>[^<>]*)*>/g;
+const QUALIFIER_SEGMENT = String.raw `[A-Za-z_]\w*(?:<[^<>]*(?:<[^<>]*>[^<>]*)*>)?\s*\.\s*`;
+const QUALIFIER_BEFORE = new RegExp(String.raw `((?:${QUALIFIER_SEGMENT})+)$`);
+/**
+ * The reference as its site writes it. The index keeps a Swift type
+ * reference by its last segment — `Build.Id` is a ref named `Id` — so whether
+ * the name was qualified is read back from the line: a type annotation's
+ * column is the name's (`Build.|Id`), a construction's is the chain's
+ * (`|API.PackageController.GetRoute.Model(`).
+ */
+function writtenName(ref, context) {
+    const name = ref.referenceName;
+    if (name.includes('.'))
+        return name;
+    const text = linesOf(ref.filePath, context)?.[ref.line - 1];
+    if (!text)
+        return name;
+    // `EventLoopFuture<Success>.Isolated`: the qualifier's generic arguments are not part of its path.
+    const clean = (qualifier) => `${qualifier.replace(GENERIC_ARGS, '').replace(/\s+/g, '')}${name}`;
+    // A composition's `&` line is parsed one column left of the file, its `&`
+    // moved onto the line before (joinSwiftCompositionContinuations).
+    const column = !text.startsWith(name, ref.column) && /^[ \t]*&[ \t]/.test(text) && text.startsWith(name, ref.column + 1) ? ref.column + 1 : ref.column;
+    if (text.startsWith(name, column)) {
+        const before = QUALIFIER_BEFORE.exec(text.slice(Math.max(0, column - 240), column));
+        return before ? clean(before[1]) : name;
+    }
+    const chain = new RegExp(String.raw `^((?:${QUALIFIER_SEGMENT})+)${name.replace(/[$\\]/g, '\\$&')}\b`).exec(text.slice(ref.column, ref.column + 240));
+    return chain ? clean(chain[1]) : name;
+}
+/** `API.PackageController.Model` as `API::PackageController::Model`, up to `name`; null when `name` is not a segment. */
+function writtenPath(written, name) {
+    const segs = written.split('.');
+    const at = segs.lastIndexOf(name);
+    return at < 0 ? null : segs.slice(0, at + 1).join('::');
+}
+/**
+ * Does a type's qualified name fit the path a site wrote? A type declared in
+ * `extension API.PackageController.GetRoute` is `GetRoute::Model`, so its
+ * name may be a tail of the path; a module-qualified `Foundation.Date` names
+ * a top-level type.
+ */
+function fitsPath(node, path, context) {
+    const qn = node.qualifiedName;
+    if (qn === path || qn.endsWith(`::${path}`))
+        return true;
+    if (!path.endsWith(`::${qn}`))
+        return false;
+    if (qn.includes('::'))
+        return true;
+    const head = path.slice(0, path.length - qn.length - 2);
+    const parentName = head.split('::').pop();
+    // A member declared under `#if` in a type's body can be indexed at the top
+    // level — the grammar ends `enum NIOBSDSocket {` at an `#if` right inside
+    // it, so `typealias Handle` loses its parent. It still shares a file with a
+    // declaration or extension of the parent the site names.
+    if (context.getNodesInFile(node.filePath).some((p) => p.name === parentName && TYPE_KINDS.has(p.kind) && p.id !== node.id))
+        return true;
+    // `App.Build`: a top-level type under a qualifier that names no type — a module.
+    return !head.includes('::') && !context.getNodesByName(head).some((n) => n.language === 'swift' && TYPE_KINDS.has(n.kind));
+}
+/** Segments two paths' directories share. */
+function sharedDirs(a, b) {
+    const da = a.split('/').slice(0, -1);
+    const db = b.split('/').slice(0, -1);
+    let n = 0;
+    while (n < da.length && n < db.length && da[n] === db[n])
+        n++;
+    return n;
+}
+/** The project's own declaration of the type a site names, when exactly one fits. */
+function declarationFor(name, written, ref, from, context) {
+    const memo = memoFor(context).declaration;
+    const key = `${ref.filePath}\0${from?.qualifiedName ?? ''}\0${written}\0${name}`;
+    if (memo.has(key))
+        return memo.get(key);
+    const bare = !written.includes('.');
+    const path = bare ? null : writtenPath(written, name);
+    const scored = [];
+    for (const node of context.getNodesByName(name)) {
+        if (node.language !== 'swift' || !TYPE_KINDS.has(node.kind) || isSwiftExtension(node, context))
+            continue;
+        if (path !== null) {
+            if (fitsPath(node, path, context))
+                scored.push({ node, depth: 0 });
+            continue;
+        }
+        const depth = bare ? bareScopeDepth(node, from, context) : 0;
+        if (depth !== null)
+            scored.push({ node, depth });
+    }
+    // Swift looks a bare name up innermost scope first.
+    const deepest = Math.max(-1, ...scored.map((s) => s.depth));
+    // One declaration per file: a framework resolver's one-line twin of a
+    // declaration (`@main struct App`) is the same type.
+    const byFile = new Map();
+    for (const { node, depth } of scored) {
+        if (depth !== deepest)
+            continue;
+        const had = byFile.get(node.filePath);
+        if (!had || node.endLine - node.startLine > had.endLine - had.startLine)
+            byFile.set(node.filePath, node);
+    }
+    const declarations = [...byFile.values()];
+    let found = null;
+    if (declarations.length === 1) {
+        found = declarations[0];
+    }
+    else if (declarations.length > 1) {
+        // The same file's, else the nearest by directory — a package's own type
+        // over another package's. A tie is left unresolved.
+        found = declarations.find((n) => n.filePath === ref.filePath) ?? null;
+        if (!found) {
+            const near = Math.max(...declarations.map((n) => sharedDirs(n.filePath, ref.filePath)));
+            const nearest = declarations.filter((n) => sharedDirs(n.filePath, ref.filePath) === near);
+            found = nearest.length === 1 ? nearest[0] : null;
+        }
+    }
+    memo.set(key, found);
+    return found;
+}
+/**
+ * A Swift reference's resolved type target, checked against what the site
+ * wrote: an extension moves to the declaration it extends, a qualified name
+ * to the type on that path, and a bare name of a nested type out of its
+ * scope to one in scope — or the reference is left unresolved.
+ */
+function gateSwiftTypeTarget(result, ref, context) {
+    if (!result || ref.language !== 'swift' || ref.referenceKind === 'imports')
+        return result;
+    const target = context.getNodeById?.(result.targetNodeId);
+    if (!target || target.language !== 'swift' || !TYPE_KINDS.has(target.kind))
+        return result;
+    const from = context.getNodeById?.(ref.fromNodeId) ?? null;
+    const written = writtenName(ref, context);
+    if (!isSwiftExtension(target, context)) {
+        if (!written.includes('.')) {
+            if (bareScopeDepth(target, from, context) !== null)
+                return result;
+        }
+        else {
+            const path = writtenPath(written, target.name);
+            if (path === null || fitsPath(target, path, context))
+                return result;
+        }
+    }
+    const declared = declarationFor(target.name, written, ref, from, context);
+    if (!declared)
+        return null;
+    return declared.id === result.targetNodeId ? result : { ...result, targetNodeId: declared.id };
+}
+//# sourceMappingURL=swift-type-visibility.js.map

package/sensor/dist/resolution/swift-type-visibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"swift-type-visibility.js","sourceRoot":"","sources":["../../src/resolution/swift-type-visibility.ts"],"names":[],"mappings":";;AAsDA,4DAEC;AAGD,4CAUC;AAGD,8CASC;AAkCD,8DAWC;AAsMD,kDAiBC;AAvTD,MAAM,UAAU,GAA8B,IAAI,GAAG,CAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AAExI,+FAA+F;AAC/F,MAAM,mBAAmB,GAAG,kDAAkD,CAAC;AAS/E,MAAM,KAAK,GAAG,IAAI,OAAO,EAA2B,CAAC;AAErD,SAAS,OAAO,CAAC,OAA0B;IACzC,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAC3H,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0DAA0D;AAC1D,SAAgB,wBAAwB,CAAC,OAA0B;IACjE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACxB,CAAC;AAED,+EAA+E;AAC/E,SAAgB,gBAAgB,CAAC,IAAU,EAAE,OAA0B;IACrE,iFAAiF;IACjF,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,IAAI,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC7B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,oGAAoG;AACpG,SAAgB,iBAAiB,CAAC,KAAwB,EAAE,IAAyD;IACnH,MAAM,IAAI,GAAG;QACX,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;QACzD,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;KAC3E;SACE,IAAI,CAAC,GAAG,CAAC;QACV,gFAAgF;SAC/E,OAAO,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC;IACzC,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC;AAC7D,CAAC;AAED,kGAAkG;AAClG,MAAM,kBAAkB,GAAG,4HAA4H,CAAC;AAExJ,4HAA4H;AAC5H,SAAS,kBAAkB,CAAC,IAAU,EAAE,OAA0B;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;IACtC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,IAAI,KAAK,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/J,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxF,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,GAAG,MAAM;iBACX,KAAK,CAAC,GAAG,CAAC;iBACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,CAAC;iBAC7E,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,yBAAyB,CAAC,IAAU,EAAE,OAA0B;IAC9E,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3G,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qHAAqH;AACrH,SAAS,kBAAkB,CAAC,QAAgB,EAAE,OAA0B;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,QAAQ,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,KAAK,MAAM,GAAG,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;oBACpD,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,SAAS;oBACjD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACf,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yIAAyI;AACzI,SAAS,UAAU,CAAC,IAAU;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAChD,qGAAqG;IACrG,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,MAAY,EAAE,IAAiB,EAAE,OAA0B;IACjF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;IACjC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAW,EAAE;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,MAAM,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACxC,sFAAsF;IACtF,wBAAwB;IACxB,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC;IAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qFAAqF;AACrF,SAAS,OAAO,CAAC,QAAgB,EAAE,OAA0B;IAC3D,OAAO,OAAO,CAAC,YAAY,EAAE,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;AAChG,CAAC;AAED,oGAAoG;AACpG,MAAM,YAAY,GAAG,8BAA8B,CAAC;AACpD,MAAM,iBAAiB,GAAG,MAAM,CAAC,GAAG,CAAA,sDAAsD,CAAC;AAC3F,MAAM,gBAAgB,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,iBAAiB,MAAM,CAAC,CAAC;AAE9E;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,GAAkB,EAAE,OAA0B;IACjE,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC;IAC/B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC5D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,mGAAmG;IACnG,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAU,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC;IACjH,0EAA0E;IAC1E,kEAAkE;IAClE,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IACvJ,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACpF,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3C,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,QAAQ,iBAAiB,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC;IACrJ,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACzC,CAAC;AAED,yHAAyH;AACzH,SAAS,WAAW,CAAC,OAAe,EAAE,IAAY;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,IAAU,EAAE,IAAY,EAAE,OAA0B;IACpE,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC;IAC9B,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC;IAC3C,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,yDAAyD;IACzD,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACxI,iFAAiF;IACjF,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7H,CAAC;AAED,6CAA6C;AAC7C,SAAS,UAAU,CAAC,CAAS,EAAE,CAAS;IACtC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAC;IAC9D,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qFAAqF;AACrF,SAAS,cAAc,CAAC,IAAY,EAAE,OAAe,EAAE,GAAkB,EAAE,IAAiB,EAAE,OAA0B;IACtH,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC;IAC1C,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,QAAQ,KAAK,IAAI,EAAE,aAAa,IAAI,EAAE,KAAK,OAAO,KAAK,IAAI,EAAE,CAAC;IACjF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAEzC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACtD,MAAM,MAAM,GAAyC,EAAE,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,SAAS;QACzG,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,oDAAoD;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5D,sEAAsE;IACtE,qDAAqD;IACrD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,KAAK,KAAK,OAAO;YAAE,SAAS;QAChC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,IAAI,KAAK,GAAgB,IAAI,CAAC;IAC9B,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC3B,CAAC;SAAM,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,wEAAwE;QACxE,oDAAoD;QACpD,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;QACtE,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC;YAC1F,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,MAA0B,EAAE,GAAkB,EAAE,OAA0B;IAC5G,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC1F,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IAC1F,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,IAAI,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC;gBAAE,OAAO,MAAM,CAAC;QACtE,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,OAAO,QAAQ,CAAC,EAAE,KAAK,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;AACjG,CAAC"}

package/sensor/dist/resolution/synth-utils.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Small helpers the dynamic-edge synthesizers share: a per-match line
+ * resolver over one source string, and "the function this line is in".
+ */
+import type { Node } from '../types';
+/** The kinds a call site can be attributed to. */
+export declare const FN_KINDS: ReadonlySet<string>;
+/**
+ * Per-match line resolver over `src`, 1-based at `baseLine`. The inline
+ * `src.slice(0, idx).split('\n').length` idiom is O(source-length) PER MATCH,
+ * which goes quadratic on a match-dense source (a generated function full of
+ * `.push(` calls re-scanned tens of thousands of times was most of the #1235
+ * indexing wedge). Builds the newline index once — lazily, since most sources
+ * never produce a match — then answers each call with a binary search.
+ */
+export declare function makeLineAt(src: string, baseLine: number): (idx: number) => number;
+/** Innermost function/method node whose line range contains `line`. */
+export declare function enclosingFn(nodesInFile: readonly Node[], line: number): Node | null;
+/**
+ * The smallest `constant` / `variable` node whose lines contain `line` — the
+ * value a top-level registration is written inside (`const worker = new
+ * Worker('q', async (job) => …)`): what a caller imports and a walk can start
+ * from when no function encloses the site.
+ */
+export declare function enclosingValue(nodesInFile: readonly Node[], line: number): Node | null;
+//# sourceMappingURL=synth-utils.d.ts.map

package/sensor/dist/resolution/synth-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synth-utils.d.ts","sourceRoot":"","sources":["../../src/resolution/synth-utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAErC,kDAAkD;AAClD,eAAO,MAAM,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAgD,CAAC;AAE1F;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAiBjF;AAED,uEAAuE;AACvE,wBAAgB,WAAW,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAUnF;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAUtF"}

package/sensor/dist/resolution/synth-utils.js

@@ -0,0 +1,75 @@
+"use strict";
+/**
+ * Small helpers the dynamic-edge synthesizers share: a per-match line
+ * resolver over one source string, and "the function this line is in".
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FN_KINDS = void 0;
+exports.makeLineAt = makeLineAt;
+exports.enclosingFn = enclosingFn;
+exports.enclosingValue = enclosingValue;
+/** The kinds a call site can be attributed to. */
+exports.FN_KINDS = new Set(['method', 'function', 'component']);
+/**
+ * Per-match line resolver over `src`, 1-based at `baseLine`. The inline
+ * `src.slice(0, idx).split('\n').length` idiom is O(source-length) PER MATCH,
+ * which goes quadratic on a match-dense source (a generated function full of
+ * `.push(` calls re-scanned tens of thousands of times was most of the #1235
+ * indexing wedge). Builds the newline index once — lazily, since most sources
+ * never produce a match — then answers each call with a binary search.
+ */
+function makeLineAt(src, baseLine) {
+    let nl = null;
+    return (idx) => {
+        if (!nl) {
+            nl = [];
+            for (let i = src.indexOf('\n'); i !== -1; i = src.indexOf('\n', i + 1))
+                nl.push(i);
+        }
+        // Count newlines strictly before idx.
+        let lo = 0;
+        let hi = nl.length;
+        while (lo < hi) {
+            const mid = (lo + hi) >> 1;
+            if (nl[mid] < idx)
+                lo = mid + 1;
+            else
+                hi = mid;
+        }
+        return baseLine + lo;
+    };
+}
+/** Innermost function/method node whose line range contains `line`. */
+function enclosingFn(nodesInFile, line) {
+    let best = null;
+    for (const n of nodesInFile) {
+        if (!exports.FN_KINDS.has(n.kind))
+            continue;
+        const end = n.endLine ?? n.startLine;
+        if (n.startLine <= line && end >= line) {
+            if (!best || n.startLine >= best.startLine)
+                best = n; // prefer the tightest (latest-starting) encloser
+        }
+    }
+    return best;
+}
+/**
+ * The smallest `constant` / `variable` node whose lines contain `line` — the
+ * value a top-level registration is written inside (`const worker = new
+ * Worker('q', async (job) => …)`): what a caller imports and a walk can start
+ * from when no function encloses the site.
+ */
+function enclosingValue(nodesInFile, line) {
+    let best = null;
+    for (const n of nodesInFile) {
+        if (n.kind !== 'constant' && n.kind !== 'variable')
+            continue;
+        const end = n.endLine ?? n.startLine;
+        if (n.startLine <= line && end >= line) {
+            if (!best || n.startLine >= best.startLine)
+                best = n;
+        }
+    }
+    return best;
+}
+//# sourceMappingURL=synth-utils.js.map

package/sensor/dist/resolution/synth-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synth-utils.js","sourceRoot":"","sources":["../../src/resolution/synth-utils.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAeH,gCAiBC;AAGD,kCAUC;AAQD,wCAUC;AA3DD,kDAAkD;AACrC,QAAA,QAAQ,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AAE1F;;;;;;;GAOG;AACH,SAAgB,UAAU,CAAC,GAAW,EAAE,QAAgB;IACtD,IAAI,EAAE,GAAoB,IAAI,CAAC;IAC/B,OAAO,CAAC,GAAW,EAAE,EAAE;QACrB,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,EAAE,GAAG,EAAE,CAAC;YACR,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;gBAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,sCAAsC;QACtC,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,EAAE,CAAC,GAAG,CAAE,GAAG,GAAG;gBAAE,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;;gBAC5B,EAAE,GAAG,GAAG,CAAC;QAChB,CAAC;QACD,OAAO,QAAQ,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,SAAgB,WAAW,CAAC,WAA4B,EAAE,IAAY;IACpE,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,gBAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC;QACrC,IAAI,CAAC,CAAC,SAAS,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS;gBAAE,IAAI,GAAG,CAAC,CAAC,CAAC,iDAAiD;QACzG,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAAC,WAA4B,EAAE,IAAY;IACvE,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC;QACrC,IAAI,CAAC,CAAC,SAAS,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS;gBAAE,IAAI,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/sensor/dist/resolution/tanstack-router-synthesizer.d.ts

@@ -0,0 +1,31 @@
+/**
+ * TanStack Router — navigation written as markup.
+ *
+ *   <Link to="/dashboard/invoices/$invoiceId" params={{ invoiceId: 3 }}>…</Link>
+ *   <Link to="/login">Sign in</Link>
+ *   <Navigate to="/dashboard" />
+ *
+ * A JSX attribute is not a call, so the extractor records no reference for it
+ * and the resolver in `frameworks/tanstack-router.ts` — which binds
+ * `navigate({ to })` and `redirect({ to })` — never sees it. This pass reads
+ * every `to` out of the source, attributes it to the component (the innermost
+ * function) it is written in, matches it against the TanStack route table, and
+ * synthesizes one `navigates` edge from the component to the route.
+ *
+ * What makes this different from React Router's identical-looking `<Link to>`:
+ * TanStack's `to` is the route PATTERN and the values ride beside it in
+ * `params`, so `to="/posts/$postId"` names the route rather than an address —
+ * and it is normalised the same way a route name is instead of being read as a
+ * URL. A `<Link from=…>` with no `to` is a relative link within the route it
+ * is already on, and names no destination of its own.
+ *
+ * Edges are `provenance:'heuristic'`, `synthesizedBy:'tanstack-link'`, with the
+ * destination as written and `registeredAt` = the JSX site. A computed `to` is
+ * nothing; a pattern no route serves is nothing. Nothing here runs on a project
+ * with no TanStack routes.
+ */
+import type { Edge } from '../types';
+import type { ResolutionContext } from './types';
+import type { MaybeYield } from './cooperative-yield';
+export declare function tanstackLinkEdges(ctx: ResolutionContext, onYield: MaybeYield): Promise<Edge[]>;
+//# sourceMappingURL=tanstack-router-synthesizer.d.ts.map

package/sensor/dist/resolution/tanstack-router-synthesizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tanstack-router-synthesizer.d.ts","sourceRoot":"","sources":["../../src/resolution/tanstack-router-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAmBtD,wBAAsB,iBAAiB,CAAC,GAAG,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CA2DpG"}

package/sensor/dist/resolution/tanstack-router-synthesizer.js

@@ -0,0 +1,114 @@
+"use strict";
+/**
+ * TanStack Router — navigation written as markup.
+ *
+ *   <Link to="/dashboard/invoices/$invoiceId" params={{ invoiceId: 3 }}>…</Link>
+ *   <Link to="/login">Sign in</Link>
+ *   <Navigate to="/dashboard" />
+ *
+ * A JSX attribute is not a call, so the extractor records no reference for it
+ * and the resolver in `frameworks/tanstack-router.ts` — which binds
+ * `navigate({ to })` and `redirect({ to })` — never sees it. This pass reads
+ * every `to` out of the source, attributes it to the component (the innermost
+ * function) it is written in, matches it against the TanStack route table, and
+ * synthesizes one `navigates` edge from the component to the route.
+ *
+ * What makes this different from React Router's identical-looking `<Link to>`:
+ * TanStack's `to` is the route PATTERN and the values ride beside it in
+ * `params`, so `to="/posts/$postId"` names the route rather than an address —
+ * and it is normalised the same way a route name is instead of being read as a
+ * URL. A `<Link from=…>` with no `to` is a relative link within the route it
+ * is already on, and names no destination of its own.
+ *
+ * Edges are `provenance:'heuristic'`, `synthesizedBy:'tanstack-link'`, with the
+ * destination as written and `registeredAt` = the JSX site. A computed `to` is
+ * nothing; a pattern no route serves is nothing. Nothing here runs on a project
+ * with no TanStack routes.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.tanstackLinkEdges = tanstackLinkEdges;
+const strip_comments_1 = require("./strip-comments");
+const query_utils_1 = require("../search/query-utils");
+const expo_router_1 = require("./frameworks/expo-router");
+const nextjs_1 = require("./frameworks/nextjs");
+const tanstack_router_1 = require("./frameworks/tanstack-router");
+const synth_utils_1 = require("./synth-utils");
+const JSX_FILE = /\.(?:[cm]?[jt]sx?)$/;
+/** `<Link … to=` / `<Navigate … to=`, the attribute anywhere in the tag. */
+const LINK_TAG = /<(Link|Navigate)\b([^>]*?)\bto\s*=\s*(?:"([^"]*)"|'([^']*)'|\{\s*)/g;
+/** A tag this pass could possibly match — the cheap prefilter. */
+const HAS_LINK_TAG = /<(?:Link|Navigate)\b/;
+/** Links a single component may carry before it is a navigation menu, not a decision. */
+const MAX_LINKS_PER_COMPONENT = 24;
+async function tanstackLinkEdges(ctx, onYield) {
+    const table = (0, tanstack_router_1.tanstackTable)(ctx);
+    if (table.byRoot.size === 0)
+        return [];
+    const edges = [];
+    const seen = new Set();
+    const perComponent = new Map();
+    let scanned = 0;
+    for (const file of ctx.getAllFiles()) {
+        if (!JSX_FILE.test(file) || (0, query_utils_1.isTestPath)(file))
+            continue;
+        const routes = (0, expo_router_1.routesForFile)(table, file);
+        if (!routes || routes.exact.size === 0)
+            continue;
+        if ((++scanned & 63) === 0)
+            await onYield();
+        const source = ctx.readFile(file);
+        if (!source || !HAS_LINK_TAG.test(source))
+            continue;
+        const safe = (0, strip_comments_1.stripCommentsForRegex)(source, 'typescript');
+        const nodes = ctx.getNodesInFile(file);
+        const lineOf = (0, synth_utils_1.makeLineAt)(safe, 1);
+        LINK_TAG.lastIndex = 0;
+        let m;
+        while ((m = LINK_TAG.exec(safe)) !== null) {
+            let literal = m[3] ?? m[4] ?? null;
+            if (literal === null) {
+                // `to={…}`: a string or a template.
+                const at = m.index + m[0].length;
+                const ch = safe[at];
+                if (ch === '"' || ch === "'" || ch === '`')
+                    literal = (0, expo_router_1.readStringAt)(safe, at);
+            }
+            if (literal === null)
+                continue;
+            const href = (0, tanstack_router_1.tanstackDestination)(JSON.stringify(literal));
+            if (!href)
+                continue;
+            const line = lineOf(m.index);
+            const component = (0, synth_utils_1.enclosingFn)(nodes, line);
+            if (!component)
+                continue;
+            // A destination written as a choice names one route per arm, and the
+            // user reaches every one of them — each is drawn.
+            for (const { node: route, href: arm } of (0, nextjs_1.destinationsForHref)(href, routes)) {
+                const key = `${component.id}>${route.id}`;
+                if (seen.has(key))
+                    continue;
+                const count = (perComponent.get(component.id) ?? 0) + 1;
+                perComponent.set(component.id, count);
+                if (count > MAX_LINKS_PER_COMPONENT)
+                    continue;
+                seen.add(key);
+                edges.push({
+                    source: component.id,
+                    target: route.id,
+                    kind: 'navigates',
+                    line,
+                    provenance: 'heuristic',
+                    metadata: {
+                        synthesizedBy: 'tanstack-link',
+                        href: arm.display,
+                        navMethod: m[1] === 'Navigate' ? 'navigate' : 'link',
+                        registeredAt: `${file}:${line}`,
+                    },
+                });
+            }
+        }
+    }
+    return edges;
+}
+//# sourceMappingURL=tanstack-router-synthesizer.js.map

package/sensor/dist/resolution/tanstack-router-synthesizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tanstack-router-synthesizer.js","sourceRoot":"","sources":["../../src/resolution/tanstack-router-synthesizer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;;AAuBH,8CA2DC;AA7ED,qDAAyD;AACzD,uDAAmD;AACnD,0DAAuE;AACvE,gDAA0D;AAC1D,kEAAkF;AAClF,+CAAwD;AAExD,MAAM,QAAQ,GAAG,qBAAqB,CAAC;AAEvC,4EAA4E;AAC5E,MAAM,QAAQ,GAAG,qEAAqE,CAAC;AAEvF,kEAAkE;AAClE,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAE5C,yFAAyF;AACzF,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAE5B,KAAK,UAAU,iBAAiB,CAAC,GAAsB,EAAE,OAAmB;IACjF,MAAM,KAAK,GAAG,IAAA,+BAAa,EAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAA,wBAAU,EAAC,IAAI,CAAC;YAAE,SAAS;QACvD,MAAM,MAAM,GAAG,IAAA,2BAAa,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,EAAE,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;YAAE,MAAM,OAAO,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,SAAS;QACpD,MAAM,IAAI,GAAG,IAAA,sCAAqB,EAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnC,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC;QACvB,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1C,IAAI,OAAO,GAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YAClD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,oCAAoC;gBACpC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACjC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;oBAAE,OAAO,GAAG,IAAA,0BAAY,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/E,CAAC;YACD,IAAI,OAAO,KAAK,IAAI;gBAAE,SAAS;YAC/B,MAAM,IAAI,GAAG,IAAA,qCAAmB,EAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM,SAAS,GAAG,IAAA,yBAAW,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,qEAAqE;YACrE,kDAAkD;YAClD,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAA,4BAAmB,EAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC3E,MAAM,GAAG,GAAG,GAAG,SAAS,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACxD,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACtC,IAAI,KAAK,GAAG,uBAAuB;oBAAE,SAAS;gBAC9C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,SAAS,CAAC,EAAE;oBACpB,MAAM,EAAE,KAAK,CAAC,EAAE;oBAChB,IAAI,EAAE,WAAW;oBACjB,IAAI;oBACJ,UAAU,EAAE,WAAW;oBACvB,QAAQ,EAAE;wBACR,aAAa,EAAE,eAAe;wBAC9B,IAAI,EAAE,GAAG,CAAC,OAAO;wBACjB,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM;wBACpD,YAAY,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE;qBAChC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}