@quolu/lattice 0.70.0 → 0.71.1

package/sensor/dist/resolution/cpp-constructor.d.ts

@@ -0,0 +1,4 @@
+import type { ResolvedRef, ResolutionContext, UnresolvedRef } from './types';
+export declare function isCppConstructorRef(ref: UnresolvedRef): boolean;
+export declare function matchCppConstructor(ref: UnresolvedRef, context: ResolutionContext): ResolvedRef | null;
+//# sourceMappingURL=cpp-constructor.d.ts.map

package/sensor/dist/resolution/cpp-constructor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cpp-constructor.d.ts","sourceRoot":"","sources":["../../src/resolution/cpp-constructor.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAI7E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAE/D;AAuDD,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,iBAAiB,GAAG,WAAW,GAAG,IAAI,CA8CtG"}

package/sensor/dist/resolution/cpp-constructor.js

@@ -0,0 +1,123 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isCppConstructorRef = isCppConstructorRef;
+exports.matchCppConstructor = matchCppConstructor;
+const CONSTRUCTOR_REF = /^(.*)::([^:]+)\/(\d+)$/;
+function isCppConstructorRef(ref) {
+    return ref.language === 'cpp' && ref.referenceKind === 'calls' && /::[^:]+\/\d+$/.test(ref.referenceName);
+}
+/** Admissible argument counts of a `(params)` signature; null when it can't be read. */
+function constructorShape(signature) {
+    signature = signature?.replace(/;$/, '');
+    if (!signature?.startsWith('(') || !signature.endsWith(')'))
+        return null;
+    const text = signature.slice(1, -1).trim();
+    if (!text || text === 'void')
+        return { min: 0, max: 0, key: '' };
+    // Split on top-level commas only: `std::map<K, V>`, `int (*cb)(int, int)`
+    // and `T x = f(a, b)` all nest their commas.
+    const parts = [];
+    let start = 0;
+    let depth = 0;
+    let quote = '';
+    for (let i = 0; i < text.length; i++) {
+        const c = text[i];
+        if (quote) {
+            if (c === '\\')
+                i++;
+            else if (c === quote)
+                quote = '';
+            continue;
+        }
+        if (c === '"' || c === "'") {
+            quote = c;
+            continue;
+        }
+        if ('(<[{'.includes(c))
+            depth++;
+        if (')>]}'.includes(c))
+            depth--;
+        if (c === ',' && depth === 0) {
+            parts.push(text.slice(start, i));
+            start = i + 1;
+        }
+    }
+    if (depth !== 0 || quote)
+        return null;
+    parts.push(text.slice(start));
+    // A comparison in a default argument would be mistaken for a `=` default
+    // or a template bracket — leave those to a compiler.
+    if (parts.some((p) => /[<>]=|==|!=/.test(p)))
+        return null;
+    const variadic = parts.some((p) => p.includes('...'));
+    const types = parts.map((p) => {
+        let type = p.split('=')[0].trim();
+        // Strip an optional parameter name, retaining unnamed built-in types
+        // (`unsigned int`, `long long`) and qualifiers. Complex declarators stay
+        // distinct unless their spelling matches; uncertainty must not merge overloads.
+        type = type.replace(/(.*[\s*&>])([A-Za-z_]\w*)$/, (whole, prefix, name) => /^(?:void|bool|char|short|int|long|float|double|signed|unsigned|const|volatile)$/.test(name)
+            || /^(?:const|volatile|struct|class|enum)\s*$/.test(prefix) ? whole : prefix);
+        return type.replace(/\s+/g, '');
+    });
+    return {
+        key: types.join(','),
+        min: parts.filter((p) => !p.includes('=') && !p.includes('...')).length,
+        max: variadic ? Infinity : parts.length,
+    };
+}
+function matchCppConstructor(ref, context) {
+    const match = ref.referenceName.match(CONSTRUCTOR_REF);
+    if (!match)
+        return null;
+    const [, rawType, name, count] = match;
+    const type = rawType.replace(/^::/, '');
+    if (type.split('::').pop() !== name)
+        return null;
+    const argc = Number(count);
+    // Innermost lexical namespace first, then outward, then global.
+    const caller = context.getNodeById?.(ref.fromNodeId);
+    const scopes = rawType.startsWith('::') ? [] : (caller?.qualifiedName.split('::') ?? []);
+    const candidates = [];
+    for (let i = scopes.length; i > 0; i--)
+        candidates.push(`${scopes.slice(0, i).join('::')}::${type}`);
+    candidates.push(type);
+    for (const qualified of candidates) {
+        const owners = context
+            .getNodesByQualifiedName(qualified)
+            .filter((n) => n.language === 'cpp' && (n.kind === 'class' || n.kind === 'struct' || n.kind === 'union'));
+        if (owners.length === 0)
+            continue;
+        const constructors = context
+            .getNodesByName(name)
+            .filter((n) => n.language === 'cpp' && n.kind === 'method' && n.qualifiedName === `${qualified}::${name}`);
+        // Brace-init prefers an initializer_list overload over arity — that
+        // choice needs the argument types, so decline.
+        if (constructors.some((n) => /\binitializer_list\b/.test(n.signature ?? '')))
+            return null;
+        // A prototype and its out-of-line definition describe one overload.
+        // Merge their admissible ranges, then prefer the executable definition.
+        const overloads = new Map();
+        for (const node of constructors) {
+            const shape = constructorShape(node.signature);
+            if (!shape)
+                return null;
+            const prior = overloads.get(shape.key);
+            if (prior) {
+                prior.nodes.push(node);
+                prior.min = Math.min(prior.min, shape.min);
+            }
+            else
+                overloads.set(shape.key, { nodes: [node], min: shape.min, max: shape.max });
+        }
+        const admitting = [...overloads.values()].filter((o) => o.min <= argc && argc <= o.max);
+        if (admitting.length !== 1)
+            return null;
+        const definitions = admitting[0].nodes.filter((n) => !n.signature?.endsWith(';'));
+        const targets = definitions.length > 0 ? definitions : admitting[0].nodes;
+        if (targets.length !== 1)
+            return null;
+        return { original: ref, targetNodeId: targets[0].id, confidence: 0.9, resolvedBy: 'qualified-name' };
+    }
+    return null;
+}
+//# sourceMappingURL=cpp-constructor.js.map

package/sensor/dist/resolution/cpp-constructor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cpp-constructor.js","sourceRoot":"","sources":["../../src/resolution/cpp-constructor.ts"],"names":[],"mappings":";;AAsBA,kDAEC;AAuDD,kDA8CC;AAzGD,MAAM,eAAe,GAAG,wBAAwB,CAAC;AAEjD,SAAgB,mBAAmB,CAAC,GAAkB;IACpD,OAAO,GAAG,CAAC,QAAQ,KAAK,KAAK,IAAI,GAAG,CAAC,aAAa,KAAK,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;AAC5G,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,SAA6B;IACrD,SAAS,GAAG,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACjE,0EAA0E;IAC1E,6CAA6C;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;iBACf,IAAI,CAAC,KAAK,KAAK;gBAAE,KAAK,GAAG,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,KAAK,GAAG,CAAC,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,yEAAyE;IACzE,qDAAqD;IACrD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5B,IAAI,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;QACnC,qEAAqE;QACrE,yEAAyE;QACzE,gFAAgF;QAChF,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,4BAA4B,EAAE,CAAC,KAAK,EAAE,MAAc,EAAE,IAAY,EAAE,EAAE,CACxF,iFAAiF,CAAC,IAAI,CAAC,IAAI,CAAC;eACvF,2CAA2C,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACpB,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;QACvE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM;KACxC,CAAC;AACJ,CAAC;AAED,SAAgB,mBAAmB,CAAC,GAAkB,EAAE,OAA0B;IAChF,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,OAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAE3B,gEAAgE;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,OAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACrG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEtB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,OAAO;aACnB,uBAAuB,CAAC,SAAS,CAAC;aAClC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC;QAC5G,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,YAAY,GAAG,OAAO;aACzB,cAAc,CAAC,IAAK,CAAC;aACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,aAAa,KAAK,GAAG,SAAS,KAAK,IAAI,EAAE,CAAC,CAAC;QAC7G,oEAAoE;QACpE,+CAA+C;QAC/C,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1F,oEAAoE;QACpE,wEAAwE;QACxE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuD,CAAC;QACjF,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/C,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvB,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7C,CAAC;;gBAAM,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACxF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACxC,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;QAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC;IACxG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/sensor/dist/resolution/cpp-macro-visibility.d.ts

@@ -0,0 +1,12 @@
+import { type ResolutionContext, type UnresolvedRef } from './types';
+export declare function clearCppMacroVisibility(context: ResolutionContext): void;
+/**
+ * Is this C/C++ `calls` ref a macro expansion rather than a call? True when
+ * the index knows the name as a function-like macro (extraction mints a
+ * `constant` per `preproc_function_def`) and either nothing but macros bears
+ * the name — there is no function to call, and a case-insensitive fuzzy
+ * match (`SWAP` → `swap`) must not invent one — or the macro is definitely
+ * visible at the call site.
+ */
+export declare function isVisibleCppMacro(ref: UnresolvedRef, context: ResolutionContext): boolean;
+//# sourceMappingURL=cpp-macro-visibility.d.ts.map

package/sensor/dist/resolution/cpp-macro-visibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cpp-macro-visibility.d.ts","sourceRoot":"","sources":["../../src/resolution/cpp-macro-visibility.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAwB,KAAK,iBAAiB,EAAE,KAAK,aAAa,EAAE,MAAM,SAAS,CAAC;AA6B3F,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAExE;AAKD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAmBzF"}

package/sensor/dist/resolution/cpp-macro-visibility.js

@@ -0,0 +1,342 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.clearCppMacroVisibility = clearCppMacroVisibility;
+exports.isVisibleCppMacro = isVisibleCppMacro;
+/**
+ * Is a C/C++ call's name a function-like macro visible at the call site?
+ *
+ * `TRACE_POINT(1)` parses as a call_expression, so extraction records a
+ * `calls` ref named `TRACE_POINT`. If the translation unit defines
+ * `#define TRACE_POINT(value) ...` (in the file itself or through an
+ * include), the "call" is a macro expansion — and binding it to a
+ * same-spelled free function in an unrelated file fabricates a caller and a
+ * callee that never existed (#1838). The resolver asks this before trying
+ * any strategy and drops such a ref.
+ *
+ * Directive summaries are cached per file, but evaluated in translation-unit
+ * order on every inclusion. Only #pragma once and actual guard state suppress
+ * reinclusion; an active recursion stack breaks include cycles. Unknown build
+ * flags remain possible, so only definite macro visibility suppresses a call.
+ * Object-like definitions participate in conditions but never enter the cached
+ * call-site timelines (vendor headers can contain tens of thousands of them).
+ */
+const path = __importStar(require("path"));
+const c_cpp_1 = require("../extraction/languages/c-cpp");
+const types_1 = require("./types");
+const import_resolver_1 = require("./import-resolver");
+const memo = new WeakMap();
+const ROOT_TIMELINE_CAP = 32;
+const and = (a, b) => a === false || b === false ? false : a === true && b === true ? true : undefined;
+const or = (a, b) => a === true || b === true ? true : a === false && b === false ? false : undefined;
+const not = (a) => (a === undefined ? undefined : !a);
+function clearCppMacroVisibility(context) {
+    memo.delete(context);
+}
+const isDefine = (n) => n.kind === 'constant' && types_1.CPP_DEFINE_SIGNATURE.test(n.signature ?? '');
+/**
+ * Is this C/C++ `calls` ref a macro expansion rather than a call? True when
+ * the index knows the name as a function-like macro (extraction mints a
+ * `constant` per `preproc_function_def`) and either nothing but macros bears
+ * the name — there is no function to call, and a case-insensitive fuzzy
+ * match (`SWAP` → `swap`) must not invent one — or the macro is definitely
+ * visible at the call site.
+ */
+function isVisibleCppMacro(ref, context) {
+    if (ref.language !== 'c' && ref.language !== 'cpp')
+        return false;
+    if (ref.referenceKind !== 'calls' || !/^\w+$/.test(ref.referenceName))
+        return false;
+    // The name cache is the index's truth, invalidated with the resolver's other
+    // caches; a per-context name set would go stale between indexing batches.
+    const sameName = context.getNodesByName(ref.referenceName);
+    if (!sameName.some(isDefine))
+        return false;
+    if (!sameName.some((n) => !isDefine(n)))
+        return true;
+    const cache = cacheFor(context);
+    const rootKey = `${ref.language}\0${ref.filePath}`;
+    let timeline = cache.roots.get(rootKey);
+    if (!timeline) {
+        timeline = walkTranslationUnit(ref.filePath, ref.language, context, cache);
+        if (cache.roots.size >= ROOT_TIMELINE_CAP)
+            cache.roots.delete(cache.roots.keys().next().value);
+        cache.roots.set(rootKey, timeline);
+    }
+    const before = (timeline.get(ref.referenceName) ?? []).filter((e) => e.line <= ref.line);
+    return before.length > 0 && before[before.length - 1].defined === true;
+}
+function cacheFor(context) {
+    let cache = memo.get(context);
+    if (!cache) {
+        cache = { summaries: new Map(), includes: new Map(), byBasename: null, roots: new Map() };
+        memo.set(context, cache);
+    }
+    return cache;
+}
+/** Cache syntax, never conditional truth: an included file can change its flags. */
+function summarize(file, context, cache) {
+    const cached = cache.summaries.get(file);
+    if (cached)
+        return cached;
+    const events = [];
+    const lines = directiveLines(context.readFile(file) ?? '');
+    for (let i = 0; i < lines.length; i++) {
+        const text = lines[i];
+        const branch = text.match(/^\s*#\s*(ifdef|ifndef|if|elif|else|endif)\b(.*)$/);
+        if (branch) {
+            events.push({ kind: 'branch', op: branch[1], expression: branch[2],
+                guard: guardsItself(lines, i, branch[1], branch[2]), line: i + 1 });
+            continue;
+        }
+        const directive = text.match(/^\s*#\s*(define|undef)\s+(\w+)(\(?)/);
+        if (directive) {
+            events.push({ kind: directive[1], name: directive[2], line: i + 1,
+                functionLike: directive[3] === '(', value: text.slice(directive[0].length),
+                wrapsItself: directive[3] === '(' && callsItself(lines, i, directive[2]) });
+            continue;
+        }
+        const include = text.match(/^\s*#\s*include\s*([<"])([^>"]+)[>"]/);
+        if (include)
+            events.push({ kind: 'include', quote: include[1], spec: include[2], line: i + 1 });
+        if (/^\s*#\s*pragma\s+once\b/.test(text))
+            events.push({ kind: 'once', line: i + 1 });
+    }
+    cache.summaries.set(file, events);
+    return events;
+}
+/**
+ * The file's lines with comments removed — only as far as the preprocessor
+ * needs: a line inside a block comment is blank, a directive line loses its
+ * trailing `//` / `/* … *\/`, and every other line is kept verbatim (its
+ * content is never read, only whether a block comment opens on it). The
+ * generic comment stripper is a regex pass over the whole file and this walk
+ * touches every header of a translation unit, vendor trees included.
+ */
+function directiveLines(source) {
+    const out = [];
+    let inBlock = false;
+    for (const raw of (0, c_cpp_1.maskCppRawStrings)(source).source.split(/\r?\n/)) {
+        let text = raw;
+        if (inBlock) {
+            const end = text.indexOf('*/');
+            if (end < 0) {
+                out.push('');
+                continue;
+            }
+            text = text.slice(end + 2);
+            inBlock = false;
+        }
+        const directive = /^\s*#/.test(text);
+        let kept = '';
+        let quote = '';
+        for (let i = 0; i < text.length; i++) {
+            const c = text[i];
+            if (quote) {
+                if (c === '\\')
+                    i++;
+                else if (c === quote)
+                    quote = '';
+                continue;
+            }
+            if (c === '"' || c === "'") {
+                quote = c;
+                continue;
+            }
+            if (c === '/' && text[i + 1] === '/') {
+                kept = text.slice(0, i);
+                break;
+            }
+            if (c === '/' && text[i + 1] === '*') {
+                const end = text.indexOf('*/', i + 2);
+                if (end < 0) {
+                    inBlock = true;
+                    kept = text.slice(0, i);
+                    break;
+                }
+                text = text.slice(0, i) + ' ' + text.slice(end + 2);
+                i--;
+                continue;
+            }
+        }
+        out.push(directive ? kept || text : raw);
+    }
+    return out;
+}
+/** Does the body of the `#define NAME(` at `index` (continuation lines included) call `NAME`? */
+function callsItself(lines, index, name) {
+    let text = lines[index];
+    for (let j = index; /\\\s*$/.test(lines[j]) && j + 1 < lines.length; j++)
+        text += ' ' + lines[j + 1];
+    const body = text.slice(text.indexOf('(') + 1);
+    return new RegExp(`(?:\\b${name}\\s*\\(|\\(\\s*${name}\\s*\\)\\s*\\()`).test(body);
+}
+/**
+ * The include-guard idiom: `#ifndef X_H` (or `#if !defined(X_H)`) whose next
+ * directive is `#define X_H`. Nothing in the file defines the guard before
+ * the test, so this is the first inclusion and the guarded body is active.
+ * The same shape around a fallback function-like macro (`#ifndef MIN` /
+ * `#define MIN(a, b) …`) is read the same way. A default VALUE
+ * (`#ifndef ENABLE_X` / `#define ENABLE_X 0`) is not: that is the flag a
+ * build overrides on the command line, so it stays unknown.
+ */
+function guardsItself(lines, index, op, expression) {
+    const name = op === 'ifndef'
+        ? expression.trim()
+        : expression.match(/^\s*!\s*defined\s*(?:\(\s*(\w+)\s*\)|(\w+))\s*$/)?.slice(1).find(Boolean);
+    if (!name || !/^\w+$/.test(name))
+        return false;
+    for (let j = index + 1; j < lines.length; j++) {
+        const text = lines[j];
+        if (!/^\s*#/.test(text))
+            continue;
+        return new RegExp(`^\\s*#\\s*define\\s+${name}(?:\\s*$|\\()`).test(text);
+    }
+    return false;
+}
+function resolveInclude(file, quote, spec, language, context, cache) {
+    const key = `${language}\0${file}\0${quote}${spec}`;
+    const cached = cache.includes.get(key);
+    if (cached !== undefined)
+        return cached;
+    const local = path.posix.normalize(path.posix.join(path.posix.dirname(file), spec.replace(/\\/g, '/')));
+    let target = quote === '"' && !local.startsWith('../') && !path.posix.isAbsolute(local) && context.fileExists(local)
+        ? local
+        : (0, import_resolver_1.resolveImportPath)(spec, file, language, context);
+    if (!target) {
+        if (!cache.byBasename) {
+            cache.byBasename = new Map();
+            for (const f of context.getAllFiles()) {
+                const base = f.slice(f.lastIndexOf('/') + 1);
+                const list = cache.byBasename.get(base);
+                if (list)
+                    list.push(f);
+                else
+                    cache.byBasename.set(base, [f]);
+            }
+        }
+        const normalized = spec.replace(/\\/g, '/');
+        const matches = (cache.byBasename.get(normalized.slice(normalized.lastIndexOf('/') + 1)) ?? []).filter((f) => f === normalized || f.endsWith('/' + normalized));
+        if (matches.length === 1)
+            target = matches[0];
+    }
+    cache.includes.set(key, target);
+    return target;
+}
+function walkTranslationUnit(rootFile, language, context, cache) {
+    const timeline = new Map();
+    const definitions = new Map();
+    const scanning = new Set();
+    const macroNames = new Set();
+    const once = new Map();
+    const condition = (expression) => {
+        const text = expression.trim();
+        if (/^(?:0x[\da-f]+|\d+)[uUlL]*$/i.test(text))
+            return Number(text.replace(/[uUlL]+$/, '')) !== 0;
+        const def = text.match(/^(!)?\s*defined\s*(?:\(\s*(\w+)\s*\)|(\w+))$/);
+        if (def) {
+            const known = definitions.get(def[2] ?? def[3])?.defined;
+            return def[1] ? not(known) : known;
+        }
+        return /^\w+$/.test(text) ? definitions.get(text)?.value : undefined;
+    };
+    const scan = (file, inherited, includeLine) => {
+        if (inherited === false || scanning.has(file) || once.get(file) === true)
+            return;
+        scanning.add(file);
+        let active = inherited;
+        const frames = [];
+        for (const ev of summarize(file, context, cache)) {
+            const line = includeLine ?? ev.line;
+            if (ev.kind === 'branch') {
+                if (ev.op === 'if' || ev.op === 'ifdef' || ev.op === 'ifndef') {
+                    const known = definitions.get(ev.expression.trim())?.defined;
+                    let selected = ev.op === 'if' ? condition(ev.expression) : ev.op === 'ifndef' ? not(known) : known;
+                    if (selected === undefined && ev.guard)
+                        selected = true;
+                    frames.push({ parent: active, taken: selected });
+                    active = and(active, selected);
+                }
+                else if (ev.op === 'endif') {
+                    active = frames.pop()?.parent ?? inherited;
+                }
+                else {
+                    const frame = frames[frames.length - 1];
+                    if (frame) {
+                        const test = ev.op === 'else' ? true : condition(ev.expression);
+                        active = and(frame.parent, and(not(frame.taken), test));
+                        frame.taken = or(frame.taken, test);
+                    }
+                }
+                continue;
+            }
+            if (active === false)
+                continue;
+            if (ev.kind === 'once') {
+                once.set(file, or(once.get(file) ?? false, active));
+                continue;
+            }
+            if (ev.kind === 'include') {
+                const target = resolveInclude(file, ev.quote, ev.spec, language, context, cache);
+                if (target)
+                    scan(target, active, line);
+                continue;
+            }
+            const prior = definitions.get(ev.name);
+            const defining = ev.kind === 'define';
+            const macro = defining && ev.functionLike && !ev.wrapsItself;
+            const now = active === true ? macro : prior?.macro === macro ? macro : undefined;
+            // A name no directive has touched is unknown, not undefined: the build
+            // can set it on the command line. So an `#undef` under an undecidable
+            // `#if` leaves it unknown (#2069); only a certain one clears it.
+            definitions.set(ev.name, {
+                defined: defining ? or(prior?.defined, active) : and(prior?.defined, not(active)),
+                value: defining && active === true ? condition(ev.value) : undefined,
+                macro: now,
+            });
+            if (ev.functionLike)
+                macroNames.add(ev.name);
+            if (macroNames.has(ev.name)) {
+                const events = timeline.get(ev.name) ?? [];
+                events.push({ line, defined: now });
+                timeline.set(ev.name, events);
+            }
+        }
+        scanning.delete(file);
+    };
+    scan(rootFile, true);
+    return timeline;
+}
+//# sourceMappingURL=cpp-macro-visibility.js.map

package/sensor/dist/resolution/cpp-macro-visibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cpp-macro-visibility.js","sourceRoot":"","sources":["../../src/resolution/cpp-macro-visibility.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDA,0DAEC;AAaD,8CAmBC;AAnFD;;;;;;;;;;;;;;;;;GAiBG;AACH,2CAA6B;AAC7B,yDAAkE;AAClE,mCAA2F;AAC3F,uDAAsD;AAmBtD,MAAM,IAAI,GAAG,IAAI,OAAO,EAA4B,CAAC;AACrD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAE7B,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAS,EAAE,CACxC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,MAAM,EAAE,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAS,EAAE,CACvC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAS,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpE,SAAgB,uBAAuB,CAAC,OAA0B;IAChE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAuC,EAAW,EAAE,CACpE,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,4BAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;AAExE;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,GAAkB,EAAE,OAA0B;IAC9E,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,GAAG,CAAC,aAAa,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,6EAA6E;IAC7E,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEhC,MAAM,OAAO,GAAG,GAAG,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnD,IAAI,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,iBAAiB;YAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAM,CAAC,CAAC;QAChG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IACzF,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,OAAO,KAAK,IAAI,CAAC;AAC1E,CAAC;AAED,SAAS,QAAQ,CAAC,OAA0B;IAC1C,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAC1F,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oFAAoF;AACpF,SAAS,SAAS,CAAC,IAAY,EAAE,OAA0B,EAAE,KAAY;IACvE,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,kDAAkD,CAAC,CAAC;QAC9E,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAE;gBAClE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACpE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAuB,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC;gBACtF,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC1E,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QACnE,IAAI,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClG,IAAI,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,MAAc;IACpC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,IAAA,yBAAiB,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,IAAI,IAAI,GAAG,GAAG,CAAC;QACf,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBACZ,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACb,SAAS;YACX,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAC3B,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACnB,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,CAAC,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAC;qBACf,IAAI,CAAC,KAAK,KAAK;oBAAE,KAAK,GAAG,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,KAAK,GAAG,CAAC,CAAC;gBACV,SAAS;YACX,CAAC;YACD,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACrC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxB,MAAM;YACR,CAAC;YACD,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACrC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;oBACZ,OAAO,GAAG,IAAI,CAAC;oBACf,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxB,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBACpD,CAAC,EAAE,CAAC;gBACJ,SAAS;YACX,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iGAAiG;AACjG,SAAS,WAAW,CAAC,KAAe,EAAE,KAAa,EAAE,IAAY;IAC/D,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;IACvG,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,OAAO,IAAI,MAAM,CAAC,SAAS,IAAI,kBAAkB,IAAI,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,KAAe,EAAE,KAAa,EAAE,EAAU,EAAE,UAAkB;IAClF,MAAM,IAAI,GACR,EAAE,KAAK,QAAQ;QACb,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE;QACnB,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,iDAAiD,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClG,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,OAAO,IAAI,MAAM,CAAC,uBAAuB,IAAI,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,KAAa,EACb,IAAY,EACZ,QAAmC,EACnC,OAA0B,EAC1B,KAAY;IAEZ,MAAM,GAAG,GAAG,GAAG,QAAQ,KAAK,IAAI,KAAK,KAAK,GAAG,IAAI,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACxG,IAAI,MAAM,GACR,KAAK,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;QACrG,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAA,mCAAiB,EAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACtB,KAAK,CAAC,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxC,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;oBAClB,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACpG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,UAAU,CAAC,CACxD,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IACjD,CAAC;IACD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAgB,EAChB,QAAmC,EACnC,OAA0B,EAC1B,KAAY;IAEZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0D,CAAC;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiB,CAAC;IACtC,MAAM,SAAS,GAAG,CAAC,UAAkB,EAAS,EAAE;QAC9C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACjG,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;QACvE,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,OAAO,CAAC;YAC1D,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACrC,CAAC;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,SAAgB,EAAE,WAAoB,EAAQ,EAAE;QAC1E,IAAI,SAAS,KAAK,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO;QACjF,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,MAAM,GAAU,SAAS,CAAC;QAC9B,MAAM,MAAM,GAA2C,EAAE,CAAC;QAC1D,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,WAAW,IAAI,EAAE,CAAC,IAAI,CAAC;YACpC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzB,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC;oBAC7D,IAAI,QAAQ,GAAG,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBACnG,IAAI,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK;wBAAE,QAAQ,GAAG,IAAI,CAAC;oBACxD,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;oBACjD,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBACjC,CAAC;qBAAM,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;oBAC7B,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,IAAI,SAAS,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBACxC,IAAI,KAAK,EAAE,CAAC;wBACV,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;wBAChE,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;wBACxD,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACtC,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,MAAM,KAAK,KAAK;gBAAE,SAAS;YAC/B,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;gBACpD,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACjF,IAAI,MAAM;oBAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC;YACtC,MAAM,KAAK,GAAG,QAAQ,IAAI,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC;YAC7D,MAAM,GAAG,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACjF,uEAAuE;YACvE,sEAAsE;YACtE,iEAAiE;YACjE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBACvB,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjF,KAAK,EAAE,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;gBACpE,KAAK,EAAE,GAAG;aACX,CAAC,CAAC;YACH,IAAI,EAAE,CAAC,YAAY;gBAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;gBACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACrB,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,32 @@
+/**
+ * Expo Router — navigation whose destination comes back from a helper.
+ *
+ *   router.push(await resolvePostLoginRoute())
+ *
+ * The argument is a call, not a string, so the resolver in
+ * `frameworks/expo-router.ts` (which binds literal hrefs) correctly leaves the
+ * `router.push` ref unresolved. But the destination is still static — it is
+ * written down inside the helper:
+ *
+ *   const resolvePostLoginRoute = async () =>
+ *     (await hasSeenWelcome()) ? '/home/' : '/welcome/'
+ *
+ * This pass finds every navigation call whose argument is a call to a project
+ * function, reads the screen-path literals out of that function's body, and
+ * synthesizes one `navigates` edge from the HELPER to each screen. The push
+ * site already has a plain `calls` edge to the helper, so the flow reads
+ * `fetchUser → resolvePostLoginRoute → /home`, and the fork the helper decides
+ * shows up as its two (or three) outgoing screens — which is the answer to
+ * "where does the app go after login".
+ *
+ * Edges are `provenance:'heuristic'`, `synthesizedBy:'expo-router-return'`,
+ * with `registeredAt` = the push site that made the helper's return value a
+ * destination. A helper is only read because a navigation call consumes it;
+ * a function that merely contains path-like strings is never touched. Nothing
+ * here runs on a project with no Expo Router screens.
+ */
+import type { Edge } from '../types';
+import type { ResolutionContext } from './types';
+import type { MaybeYield } from './cooperative-yield';
+export declare function expoRouterReturnEdges(ctx: ResolutionContext, onYield: MaybeYield): Promise<Edge[]>;
+//# sourceMappingURL=expo-router-synthesizer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expo-router-synthesizer.d.ts","sourceRoot":"","sources":["../../src/resolution/expo-router-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAkB,MAAM,UAAU,CAAC;AACrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AA6BtD,wBAAsB,qBAAqB,CAAC,GAAG,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CA6DxG"}